scientific article; zbMATH DE number 1231595
From MaRDI portal
Publication:4222915
zbMath0911.68116MaRDI QIDQ4222915
Marco Pistore, Gian-Luigi Ferrari, Flavio Corradini
Publication date: 21 December 1998
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume7.htm#corradiniferraripistore
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
On testing urgency through laziness over processes with durational actions ⋮ On the semantics of durational actions ⋮ On performance congruences for process algebras
Cites Work
- Unnamed Item
- A theory of processes with durational actions
- A calculus of mobile processes. II
- The algebra of timed processes, ATP: Theory and application
- Timed testing of concurrent systems
- Timing and causality in process algebra
- Performance preorder: Ordering processes with respect to speed
- Branching time and abstraction in bisimulation semantics
