Time abstracted bisimulation: Implicit specifications and decidability
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 160-176
- https://doi.org/10.1007/3-540-58027-1_8
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Decidability of bisimulation equivalences for parallel timer processesPublished by Springer Nature ,1993
- Deciding properties of regular real timed processesPublished by Springer Nature ,1992
- Real-time calculi and expansion theoremsPublished by Springer Nature ,1992
- From ATP to timed graphs and hybrid systemsPublished by Springer Nature ,1992
- A linear time process algebraPublished by Springer Nature ,1991
- CCS + time = an interleaving model for real time systemsPublished by Springer Nature ,1991
- CCS expressions, finite state processes, and three problems of equivalenceInformation and Computation, 1990
- Three Partition Refinement AlgorithmsSIAM Journal on Computing, 1987
- A timed model for communicating sequential processesLecture Notes in Computer Science, 1986
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986