On the semantics of durational actions
From MaRDI portal
Publication:5958612
DOI10.1016/S0304-3975(00)00375-3zbMath0983.68116OpenAlexW1995675150MaRDI QIDQ5958612
Gian-Luigi Ferrari, Marco Pistore, Flavio Corradini
Publication date: 3 March 2002
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0304-3975(00)00375-3
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A theory of processes with durational actions
- Performance preorder and competitive equivalence
- The chemical abstract machine
- A calculus of mobile processes. II
- A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems
- On performance congruences for process algebras
- Real space process algebra
- The algebra of timed processes, ATP: Theory and application
- Absolute versus relative time in process algebras.
- A process algebra for timed systems
- Split and ST bisimulation semantics
- Timed testing of concurrent systems
- Timing and causality in process algebra
- Towards action-refinement in process algebras
- Real time process algebra
- Axiomatising Finite Concurrent Processes
- Functions as processes
- Branching time and abstraction in bisimulation semantics
- Equational properties of mobile ambients
- Dynamic matrices and the cost analysis of concurrent programs
- Barbed bisimulation
- On testing urgency through laziness over processes with durational actions
- From rewrite rules to bisimulation congruences
This page was built for publication: On the semantics of durational actions
