Results 11 to 20 of about 86,734 (328)
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 +6 more sources
Operator Kernel Functions in Operational Calculus and Applications in Fractals with Fractional Operators [PDF]
Fractal and Fractional, 2023 In this study, we delve into the general theory of operator kernel functions (OKFs) in operational calculus (OC). We established the rigorous mapping relation between the kernel function and the corresponding operator through the primary translation ...
Xiaobin Yu, Yajun Yin
doaj +2 more sources
A Provenance Tracking Model for Data Updates [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 For data-centric systems, provenance tracking is particularly important when the system is open and decentralised, such as the Web of Linked Data. In this paper, a concise but expressive calculus which models data updates is presented.
Gabriel Ciobanu, Ross Horne
doaj +6 more sources
First Class Call Stacks: Exploring Head Reduction [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Weak-head normalization is inconsistent with functional extensionality in the call-by-name λ-calculus. We explore this problem from a new angle via the conflict between extensionality and effects. Leveraging ideas from work on the λ-calculus with control,
Philip Johnson-Freyd +2 more
doaj +4 more sources
Vestnik Samarskogo Gosudarstvennogo Tehničeskogo Universiteta. Seriâ: Fiziko-Matematičeskie Nauki, 2012 The main provisions of the operational calculus based on the convolution algebra of distributions D+ and D− that extends this method to the negative values of the argument are given.
Iosif L Kogan
doaj +4 more sources
Operational calculus and differential equations with infinitely smooth coefficients [PDF]
International Journal of Mathematics and Mathematical Sciences, 1990 A subring MF of the field of Mikusiński operators is constructed as a countable union space. Some topological properties of MF are investigated. Then, the product of an infinitely differentiable function and an element of MF is given and is used to ...
Dennis Nemzer
doaj +2 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 +3 more sources
An Operational Calculus for the Mould Operad [PDF]
, 2008 The operad of moulds is realized in terms of an operational calculus of formal integrals (continuous formal power series). This leads to many simplifications and to the discovery of various suboperads.
Frédéric Chapoton +3 more
openalex +7 more sources
The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types [PDF]
Logical Methods in Computer Science, 2017 We present the guarded lambda-calculus, an extension of the simply typed lambda-calculus with guarded recursive and coinductive types. The use of guarded recursive types ensures the productivity of well-typed programs.
Ranald Clouston +3 more
doaj +3 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 +2 more sources