An overview and synthesis on timed process algebras

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

Volumn 575 LNCS, Issue , 1992, Pages 377-398

  Nicollin, Xavier ^a   Sifakis, Joseph ^a  

^a UNIV GRENOBLE ALPES   (France)

Author keywords

Process algebras; Real time; Specification of timed systems

Indexed keywords

ALGEBRA; COMPUTER AIDED ANALYSIS; SEMANTICS; SPECIFICATIONS; TIME SHARING SYSTEMS;

GENERAL MODEL; LANGUAGE FEATURES; PROCESS ALGEBRAS; REAL TIME; TIME CONSTRAINTS; TIMED PROCESS ALGEBRA; TIMED SYSTEMS; TRANSITION SYSTEM;

REAL TIME SYSTEMS;

EID: 85029615220     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-55179-4_36     Document Type: Conference Paper

References (22)

1. D. Austry and G. Boudol. Algèbre de processus et synchronisation. Theoretical Computer Science, 30, 1984.
2. J.CM. Baeten and J.A. Bergstra. Real Time Process Algebra. Technical Report CS-R9053, Centre for Mathematics and Computer Science, Amsterdam, the Netherlands, 1990.
3. 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.
4. T. Bolognesi and F. Lucidi. LOTOS-like process algebra with urgent or timed interactions. In Proceedings of REX Workshop “Real-Time: Theory in Practice”. Mook, the Netherlands, June 1991.
5. P. Caspi, N. Halbwachs, D. Pilaud, and J. Plaice. LUSTRE: a declarative language for programming synchronous systems. In 14th Symposium on Principles of Programming Languages, Munich, January 1987.
6. J. Davies and S. Schneider. An Introduction to Timed CSP. Technical Report PRG-75, Oxford University Computing Laboratory, UK, August 1989.
7. D. Harel. StateCharts: a visual approach to complex systems. Science of Computer Programming, 8-3: 231-275, 1987.
8. M. Hennessy and T. Regan. A Temporal Process Algebra. Technical Report 2/90, University of Sussex, UK, April 1990.
9. M. Hennessy and T. Regan. A Process Algebra for Timed Systems. Technical Report 5/91, University of Sussex, UK, April 1991.
10. A.S. Klusener. Completeness in Real Time Process Algebra. Technical Report CS-R9106, Centre for Mathematics and Computer Science, Amsterdam, the Netherlands, January 1991.
11. R. Milner. A Calculus of Communicating Systems. In LNCS 92, Springer Verlag, 1980.
12. R. Milner. Calculi for Synchrony and Asynchrony. Theoretical Computer Science, 25, 1983.
13. G. J. Milne. The Formal Description and Verification of Hardware Timing. IEEE Transactions on Computers, 40 (7), July 1991.
14. 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.
15. 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.
16. X. Nicollin and J. Sifakis. The algebra of timed processes ATP: theory and application. Technical Report RT-C26, LGI-IMAG, Grenoble, France, December 1990.
17. X. Nicollin, J. Sifakis, and S. Yovine. From ATP to Timed Graphs and Hybrid Systems. In Proceedings of REX Workshop “Real-Time: Theory in Practice”. Mook, the Netherlands, June 1991.
18. G.D. Plotkin. A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, Arhus University. Computer Science Department, Arhus, Denmark, 1981.
19. G.M. Reed and A.W. Roscoe. A timed model for Communicating Sequential Processes. Theoretical Computer Science, 58 (pp 249-261), 1988.
20. S. Schneider. An Operational Semantics for Timed CSP. Programming Research Group, Oxford University, UK, February 1991.
21. Wang Yi. Real-time behaviour of asynchronous agents. In J.CM. 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.
22. Wang Yi. CCS + Time = an Interleaving Model for Real Time Systems. In Proceedings of ICALP '91, Madrid, Spain, July 1991.