Synthesizing distinguishing formulae for real time systems -extended abstract
- 1 January 1995
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Real-time behaviour of asynchronous agentsPublished by Springer Nature ,2005
- Synthesizing Distinguishing Formulae for Real Time SystemsBRICS Report Series, 1994
- Timed modal specification — Theory and toolsPublished by Springer Nature ,1993
- Generating diagnostic information for behavioral preordersPublished by Springer Nature ,1993
- On automatically distinguishing inequivalent processesPublished by American Mathematical Society (AMS) ,1991
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- Communicating sequential processesCommunications of the ACM, 1978