From ATP to timed graphs and hybrid systems
- 1 February 1993
- journal article
- research article
- Published by Springer Nature in Acta Informatica
- Vol. 30 (2) , 181-202
- https://doi.org/10.1007/bf01178579
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A temporal calculus of communicating systemsPublished by Springer Nature ,2005
- Real-time behaviour of asynchronous agentsPublished by Springer Nature ,2005
- Model-checking for real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The Algebra of Timed Processes, ATP: Theory and ApplicationInformation and Computation, 1994
- Process AlgebraPublished by Cambridge University Press (CUP) ,1990
- The ESTEREL synchronous programming language and its mathematical semanticsLecture Notes in Computer Science, 1985