Academia.eduAcademia.edu

Outline

The Algebra of Timed Processes, ATP: Theory and Application

1994, Information and Computation/information and Control

Abstract

We study a process algebra ATP for the description and analysis of systems of timed processes. An important feature of the algebra is that its vocabulary of actions contains a distinguished element . An occurrence of is a time event representing progress of time.

References (24)

  1. D. Austry and G. Boudol. Alg ebre de processus et synchronisation. Theoretical Computer Science, 30, 1984.
  2. R. Alur, C. Courcoubetis, and D. Dill. Model-checking for real-time systems. In Proceedings of the fth annual IEEE symposium on Logic In Computer Science, pages 414{425, Philadelphia, PA., June 1990.
  3. J.C.M. Baeten and J.A. Bergstra. Real Time Process Algebra. Technical Report CS- R9053, Centre for Mathematics and Computer Science, Amsterdam, the Netherlands, 1990.
  4. 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.
  5. J.A. Bergstra and J.W. Klop. Algebra of Communicating Processes. Technical Re- port CS-R8420, Centre for Mathematics and Computer Science. Department of Com- puter Science, 1984.
  6. J.A. Bergstra and J.W. Klop. Process algebra : specication and verication 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.
  7. P. Caspi, N. Halbwachs, D. Pilaud, and J. Plaice. Lustre: a declarative language for programming synchronous systems. In 14th Symposium on Principles of Program- ming Languages, Munich, January 1987.
  8. J. Davies and S. Schneider. An Introduction to Timed CSP. Technical Report PRG- 75, Oxford University Computing Laboratory, August 1989.
  9. J.F. Groote. Transition system specication with negative premisses. Technical Re- port CS-R8950, Centre for Mathematics and Computer Science. Department of Com- puter Science, December 1989.
  10. J.F. Groote. Specication and verication of real time systems in ACP. Technical Report CS-R9015, Centre for Mathematics and Computer Science. Department of Computer Science, May 1990.
  11. J.F. Groote and F.W. Vaandrager. Structured operational semantics and bisimulation as a congruence. Technical Report CS-R8845, Centre for Mathematics and Computer Science. Department of Computer Science, January 1988. References
  12. D. Harel. StateCharts : a visual approach to complex systems. Science of Computer Programming, 8{3:231{275, 1987.
  13. C.A.R Hoare. Communicating Sequential Processes. CACM, 21(8), 1978.
  14. M. Hennessy and T. Regan. A Temporal Process Algebra. Technical Report 2/90, University of Sussex, April 1990.
  15. D. Lehmann, A. Pnueli, and J. Stavi. Impartiality, justice and fairness: the ethics of concurrent termination. In S. Even and O. Kariv, editors, LNCS 115. Proceed- ings of ICALP '81 (Automata, Languages and Programming), Acre (Akko), Israel, pages 264{277, Springer-Verlag, July 1981.
  16. R. Milner. A Calculus of Communicating Systems. In LNCS 92, Springer Verlag, 1980.
  17. R. Milner. Calculi for Synchrony and Asynchrony. Theoretical Computer Science, 25, 1983.
  18. R. Milner. A Complete Inference System for a Class of Regular Behaviours. Journal of Computer and System Sciences, 28:439{466, 1984.
  19. 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: Unication and Extension), Amsterdam, the Netherlands, pages 401{415, Springer-Verlag, August 1990.
  20. 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.
  21. G.D. Plotkin. A Structural Approach to Operational Semantics. Technical Re- port DAIMI FN-19, Arhus University. Computer Science Department, Arhus, Den- mark, 1981.
  22. G.M. Reed and A.W. Roscoe. A timed model for Communicating Sequential Pro- cesses. Theoretical Computer Science, 58 (pp 249{261), 1988.
  23. J-L. Richier, J. Sifakis, and J. Voiron. Une alg ebre des processus temporis es. In A. Arnold, editor, Actes du deuxi eme colloque C 3 , Angoulême , France, May 1987.
  24. 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 Con- currency: Unication and Extension), Amsterdam, the Netherlands, pages 502{520, Springer-Verlag, August 1990.