Real space process algebra

DOI10.1007/BF01211247MaRDI QIDQ1329194zbMATH OpenOpenAlexFDO

Authors Jos C. M. Baeten, J. A. Bergstra

Publication date 2 August 2000

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01211247

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Parallel algorithms in computer science (68W10)

Cites work

• A timed model for communicating sequential processes
• Global renaming operators in concrete process algebra
• scientific article; zbMATH DE number 3928334 (Why is no real title available?)
• scientific article; zbMATH DE number 4001464 (Why is no real title available?)
• Process Algebra
• Process algebra for synchronous communication
• Real time process algebra
• The algebra of timed processes, ATP: Theory and application

Cited in

(8)

• Revisiting timing in process algebra.
• Process algebra for hybrid systems
• Discrete time process algebra
• Process algebra with strategic interleaving
• A spatial extension to the calculus
• Discrete time process algebra with abstraction
• Real time process algebra with time-dependent conditions
• On the semantics of durational actions

This page was built for publication: Real space process algebra

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