scientific article; zbMATH DE number 2038694

MaRDI QIDQ4449159zbMATH OpenFDO

Authors J. A. Bergstra, Inge Bethke

Publication date 8 February 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2719/27190001.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Studies in the theory of algebraic models of programs with procedures
• scientific article; zbMATH DE number 3972168
• Polarized process algebra with reactive composition
• An algebraic approach to schemes of structured programs
• Algebraic laws for nondeterminism and concurrency

Cited in

(9)

• Synchronous cooperation for explicit multi-threading
• Denotational semantics for thread algebra
• Simulating Turing machines on Maurer machines
• Polarized process algebra with reactive composition
• Equivalence of Processes in Partially Commutative Object-Oriented Environments
• Programming Languages and Systems
• Execution architectures for program algebra
• Program algebra with a jump-shift instruction
• A thread calculus with molecular dynamics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4449159)