A complete axiomatization of timed bisimulation for a class of timed regular behaviours
- 25 December 1995
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 152 (2) , 251-268
- https://doi.org/10.1016/0304-3975(94)00285-9
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- The Algebra of Timed Processes, ATP: Theory and ApplicationInformation and Computation, 1994
- Real time process algebraFormal Aspects of Computing, 1991
- A complete axiomatisation for observational congruence of finite-state behavioursInformation and Computation, 1989
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- A complete inference system for a class of regular behavioursJournal of Computer and System Sciences, 1984