From ATP to timed graphs and hybrid systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 600 LNCS, Issue , 1992, Pages 549-572

  Nicollin, Xavier ^a   Sifakis, Joseph ^a   Yovine, Sergio ^a  

^a UNIV GRENOBLE ALPES   (France)

Author keywords

Hybrid systems; Process algebra; Real time; Specification of timed systems; Timed graphs

Indexed keywords

CONTINUOUS TIME SYSTEMS; GRAPHIC METHODS; HYBRID SYSTEMS; MODEL CHECKING; SEMANTICS; TIME DOMAIN ANALYSIS; TIME SHARING SYSTEMS;

BRANCHING TRANSITION SYSTEM; DISCRETE TRANSITIONS; GENERALISATION; MODEL-CHECKING TECHNIQUES; PROCESS ALGEBRAS; REAL TIME; TIMED GRAPHS; TIMED SYSTEMS;

REAL TIME SYSTEMS;

EID: 85027664864     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BF01178579     Document Type: Conference Paper

References (10)

1. R. Alur, C. Courcoubetis, and D. Dill. Model-checking for real-time systems. In Proceedings of the fifth annual IEEE symposium on Logic In Computer Science, pages 414-425, Philadelphia, PA., June 1990.
2. G. Berry and L. Cosserat. The ESTEREL synchronous programming language and its mathematical semantics. In LNCS 197: Proceedings CMU Seminar on Concurrency, Springer-Verlag, 1985.
3. J.A. Bergstra and J.W. Klop. Algebra of Communicating Processes. Technical Report CS-R8420, Centre for Mathematics and Computer Science, Amsterdam, the Netherlands, 1984.
4. J.A. Bergstra and J.W. Klop. Process algebra: specification and verification in bisimulation semantics. In M. Hazewinkel, J.K. Lenstra, and L.G.L.T. Meertens, editors, Proceedings of the CWI Symposium Mathematics and Computer Science II (CWI Monograph 4), pages 61-94, North Holland, Amsterdam, 1986.
5. F. Moller and C. Tofts. A Temporal Calculus of Communicating Processes. In J.C.M. Baeten and J.W. Klop, editors, LNCS 458. Proceedings of CONCUR '90 (Theories of Concurrency: Unification and Extension), Amsterdam, the Netherlands, pages 401-415, Springer-Verlag, August 1990.
6. X. Nicollin, J.-L. Richier, J. Sifakis, and J. Voiron. ATP: an Algebra for Timed Processes. In Proceedings of the IFIP TC 2 Working Conference on Programming Concepts and Methods, Sea of Gallilee, Israel, April 1990.
7. X. Nicollin and J. Sifakis. The algebra of timed processes ATP: theory and application. Technical Report RT-C26, LGI-IMAG, Grenoble, France, December 1990.
8. G. D. Plotkin. A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, Arhus University. Computer Science Department, Arhus, Denmark, 1981.
9. Wang Yi. Real-time behaviour of asynchronous agents. In J.C.M. Baeten and J.W. Klop, editors, LNCS 458. Proceedings of CONCUR '90 (Theories of Concurrency: Unification and Extension), Amsterdam, the Netherlands, pages 502-520, Springer-Verlag, August 1990.
10. Wang Yi. CCS + Time = an Interleaving Model for Real Time Systems. In Proceedings of ICALP '91, Madrid, Spain, July 1991.