Results 21 to 30 of about 6,665 (300)
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 +1 more source
A Calculus with Lazy Module Operators [PDF]
, 2006 Modern programming environments such as those of Java and C# support dynamic loading of software fragments. More in general, we can expect that in the future systems will support more and more forms of interleaving of reconfiguration steps and standard execution steps, where the software fragments composing a program are dynamically changed and/or ...
ANCONA, DAVIDE, FAGORZI S., ZUCCA, ELENA
openaire +3 more sources
No solvable lambda-value term left behind [PDF]
Logical Methods in Computer Science, 2016 In the lambda calculus a term is solvable iff it is operationally relevant. Solvable terms are a superset of the terms that convert to a final result called normal form.
Á. García-Pérez, P. Nogueira
doaj +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
Towards Gradually Typed Capabilities in the Pi-Calculus [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Gradual typing is an approach to integrating static and dynamic typing within the same language, and puts the programmer in control of which regions of code are type checked at compile-time and which are type checked at run-time.
Matteo Cimini
doaj +1 more source
The Heaviside Operational Calculus [PDF]
Bell System Technical Journal, 1922 The art of electrical communication owes a great and increasingly recognized debt to Oliver Heaviside for his work in developing and emphasizing a correct theory of electrical transmission along wires and in particular for his insistance on the importance of inductance. His operational methods of solving the differential equations which are fundamental
openaire +3 more sources
A direct extension of Meller's calculus
International Journal of Mathematics and Mathematical Sciences, 1982 This paper extends the operational calculus of Meller for the operator Bα=t−αddttα+1ddt to the case where α∈(0,∞). The development is àla Mikusinski calculus and uses Meller's convolution process with a fractional derivative operator.
E. L. Koh
doaj +1 more source
Reduction in a linear lambda-calculus with applications to operational semantics
, 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
Dual Numbers and Operational Umbral Methods
Axioms, 2019 Dual numbers and their higher-order version are important tools for numerical computations, and in particular for finite difference calculus. Based on the relevant algebraic rules and matrix realizations of dual numbers, we present a novel point of view,
Nicolas Behr +3 more
doaj +1 more source
A Verified Algebra for Linked Data [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 A foundation is investigated for the application of loosely structured data on the Web. This area is often referred to as Linked Data, due to the use of URIs in data to establish links.
Ross Horne, Vladimiro Sassone
doaj +1 more source