Results 11 to 20 of about 1,220,062 (289)
The Application of Abstract Algebra in Operational Calculus
Fractal and FractionalThis paper is dedicated to elucidating the abstract algebraic structure of operational calculus theory. Based on abstract algebra and operational calculus, the operator algebra theory of Mikusiński has been revised. We restate the concept of Mikusiński’s
Ruiheng Jiang, Tianyi Zhou, Yajun Yin
doaj +2 more sources
An Operational Petri Net Semantics for the Join-Calculus [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 We present a concurrent operational Petri net semantics for the join-calculus, a process calculus for specifying concurrent and distributed systems. There often is a gap between system specifications and the actual implementations caused by synchrony ...
Stephan Mennicke
doaj +2 more sources
Timed Operational Semantics and Well-Formedness of Shape Calculus [PDF]
Scientific Annals of Computer Science, 2010 The Shape Calculus is a bio-inspired calculus for describing 3D shapes moving in a space. A shape forms a 3D process when combined with a behaviour. Behaviours are specified with a timed CCS-like process algebra using a notion of channel that models ...
E. Bartocci +4 more
doaj +4 more sources
Noncommutative operational calculus
Electronic Journal of Differential Equations, 1999 Oliver Heaviside's operational calculus was placed on a rigorous mathematical basis by Jan Mikusinski, who constructed an algebraic setting for the operational methods.
Henry E. Heatherly, Jason P. Huffman
doaj +1 more source
, 1987 Operational Calculus, Volume II is a methodical presentation of operational calculus. An outline of the general theory of linear differential equations with constant coefficients is presented.
Sneddon, IN, Boehme, Thomas K
core +2 more sources
Mathematics, 2022 In this paper, we first consider the general fractional derivatives of arbitrary order defined in the Riemann–Liouville sense. In particular, we deduce an explicit form of their null space and prove the second fundamental theorem of fractional calculus ...
Yuri Luchko
doaj +1 more source
A Hypergraph Model for Communication Patterns
Axioms, 2021 The article deals with interaction in concurrent systems. A calculus able to express specific communication patterns is defined, together with its abstract control structures. A hypergraph model for these structures is presented. The hypergraphs are able
Gabriel Ciobanu
doaj +1 more source
Reduction in a linear lambda-calculus with applications to operational semantics [PDF]
, 2005 We study beta-reduction in a linear lambda-calculus derived from Abramsky's linear combinatory algebras. Reductions are classified depending on whether the redex is in the computationally active part of a term ("surface" reductions) or whether it is ...
Simpson, Alexander, Alex Simpson
core +1 more source
A non-interleaving process calculus for multi-party synchronisation [PDF]
, 2009 We introduce the wire calculus. Its dynamic features are inspired by Milner's CCS: a unary prefix operation, binary choice and a standard recursion construct.
Paweł Sobociński, Soboci\'nski, Pawel
core +1 more source