Real space process algebra

DOI10.1007/BF01211247zbMath0942.68607OpenAlexW2169983600MaRDI QIDQ1329194

Jos C. M. Baeten, Jan 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

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

Related Items (8)

Discrete time process algebra with abstraction ⋮ Discrete time process algebra ⋮ Revisiting timing in process algebra. ⋮ Process algebra with strategic interleaving ⋮ Real time process algebra with time-dependent conditions ⋮ Process algebra for hybrid systems ⋮ On the semantics of durational actions ⋮ A Spatial Extension to the π Calculus

Cites Work

• Global renaming operators in concrete process algebra
• A timed model for communicating sequential processes
• The algebra of timed processes, ATP: Theory and application
• Real time process algebra
• Process algebra for synchronous communication
• Process Algebra
• Unnamed Item
• Unnamed Item

This page was built for publication: Real space process algebra