Discrete time process algebra with abstraction

DOI10.1007/3-540-60249-6_38MaRDI QIDQ5055876zbMATHOpenAlexFDO

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

Publication date 9 December 2022

Published in Fundamentals of Computation Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-60249-6_38

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Discrete time process algebra
• A process algebra for timed systems
• Process algebra with timing: Real time and discrete time
• scientific article; zbMATH DE number 1696898
• Process algebra with timing

Cites work

• scientific article; zbMATH DE number 3958712 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 497653 (Why is no real title available?)
• A Theory of Communicating Sequential Processes
• A timed model for communicating sequential processes
• Algebra of communicating processes with abstraction
• Branching time and abstraction in bisimulation semantics
• On sequential composition, action prefixes and process prefix
• Process Algebra
• Real space process algebra
• Real time process algebra
• The algebra of timed processes, ATP: Theory and application

Cited in

(9)

• Dormancy-aware timed branching bisimilarity with an application to communication protocol analysis
• An effective axiomatization for real time ACP
• Extending Timed Process Algebra with Discrete Stochastic Time
• Process algebra with timing: Real time and discrete time
• Embedding untimed into timed process algebra; the case for explicit termination
• scientific article; zbMATH DE number 4117829 (Why is no real title available?)
• Discrete time process algebra and the semantics of SDL
• Discretization of timed automata in timed \(\mu\)CRL à la regions and zones
• Action Abstraction in Timed Process Algebra

Describes a project that uses

Uses Software

• ToolBus

This page was built for publication: Discrete time process algebra with abstraction

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