On the semantics of durational actions

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

zbMATH Keywords

structural operational semanticsprocess calculiobservational theoriesreduction semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (1)

A timed calculus for wireless systems

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