Deciding properties of regular real timed processes
- 1 January 1992
- book chapter
- Published by Springer Nature
- p. 443-453
- https://doi.org/10.1007/3-540-55179-4_41
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- The concurrency workbenchPublished by Springer Nature ,1990
- Three Partition Refinement AlgorithmsSIAM Journal on Computing, 1987
- A timed model for communicating sequential processesLecture Notes in Computer Science, 1986
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985