Results 11 to 20 of about 86,734 (328)

An Operational Petri Net Semantics for the Join-Calculus [PDF]

open access: diamondElectronic 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]

open access: goldFractal 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]

open access: yesElectronic 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]

open access: yesElectronic 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

Construction of Mikusinski operational calculus based on the convolution algebra of distributions. Basic provisions

open access: greenVestnik 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]

open access: goldInternational 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]

open access: yesLogical 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]

open access: green, 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]

open access: yesLogical 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

open access: yesElectronic 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

Home - About - Disclaimer - Privacy