Results 11 to 20 of about 6,665 (300)
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
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
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 +1 more source
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
An Operational Approach to Fractional Scale-Invariant Linear Systems
Fractal and Fractional, 2023 The fractional scale-invariant systems are introduced and studied, using an operational formalism. It is shown that the impulse and step responses of such systems belong to the vector space generated by some special functions here introduced.
Gabriel Bengochea +1 more
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
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
Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces [PDF]
Scientific Annals of Computer Science, 2014 In this paper we use finite vector spaces (finite dimension, over finite fields) as a non-standard computational model of linear logic. We first define a simple, finite PCF-like lambda-calculus with booleans, and then we discuss two finite models, one ...
B. Valiron, S. Zdancewic
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 +6 more
core +1 more source