Results 11 to 20 of about 1,163,964 (293)
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
A generic operational metatheory for algebraic effects [PDF]
, 2010 We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of algebraic effects, and incorporates, as instances: errors, input/output, global ...
Simpson, Alex +2 more
core +4 more sources
q-Calculus as operational algebra; pp. 73–97 [PDF]
Proceedings of the Estonian Academy of Sciences, 2009 This second paper on operational calculus is a continuation of Ernst, T. q-Analogues of some operational formulas. Algebras Groups Geom., 2006, 23(4), 354â374. We find multiple q-analogues of formulas in Carlitz, L.
Thomas Ernst
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 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
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
Operator Calculus of Quantized Operator [PDF]
Progress of Theoretical Physics, 1952 The notational ambiguities in Feynman's calculus are all remedied here by setting a more natural foundation of the ordered exponential operators, which will be called briefly "expansional" operators in this paper. The essential point to be stressed is that the pure exponential opErator is merely a special case of the more wider class of operators, i.e.,
openaire +2 more sources
Psi-calculi: a framework for mobile processes with nominal data and logic [PDF]
Logical Methods in Computer Science, 2011 The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processes and their names can be statically scoped as in the standard pi-calculus.
Jesper Bengtson +3 more
doaj +1 more source
A Calculus for Orchestration of Web Services [PDF]
, 2007 We introduce COWS (Calculus for Orchestration of Web Services), a new foundational language for SOC whose design has been influenced by WS-BPEL, the de facto standard language for orchestration of web services.
Tiezzi, F. +9 more
core +1 more source