Discrete time process algebra with abstraction
From MaRDI portal
Publication:5055876
DOI10.1007/3-540-60249-6_38zbMATH Open1504.68137OpenAlexW2152947535MaRDI QIDQ5055876FDOQ5055876
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
Recommendations
Cites Work
- Title not available (Why is that?)
- Algebra of communicating processes with abstraction
- A timed model for communicating sequential processes
- The algebra of timed processes, ATP: Theory and application
- Real time process algebra
- Branching time and abstraction in bisimulation semantics
- A Theory of Communicating Sequential Processes
- Process Algebra
- Title not available (Why is that?)
- On sequential composition, action prefixes and process prefix
- Real space process algebra
- Title not available (Why is that?)
Cited In (9)
- Title not available (Why is that?)
- Embedding untimed into timed process algebra; the case for explicit termination
- Dormancy-aware timed branching bisimilarity with an application to communication protocol analysis
- Extending Timed Process Algebra with Discrete Stochastic Time
- Discrete time process algebra and the semantics of SDL
- Action Abstraction in Timed Process Algebra
- An effective axiomatization for real time ACP
- Process algebra with timing: Real time and discrete time
- Discretization of timed automata in timed \(\mu\)CRL à la regions and zones
Uses Software
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)
