Discrete time process algebra

Formal Aspects of Computing

Volumn 8, Issue 2, 1996, Pages 188-208

  Baeten, J C M ^a   Bergstra, J A ^b,c  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b UNIVERSITY OF AMSTERDAM   (Netherlands)

^c UTRECHT UNIVERSITY   (Netherlands)

Author keywords

ACP; Discrete time; Process algebra; Timing

Indexed keywords

SIMULATION;

AXIOMATIC; PROCESS ALGEBRA; REAL TIME; SEMANTICS; TIMING; TRIAL;

ALGEBRA;

EID: 0030352471     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF01214556     Document Type: Article

References (30)

1. Baeten, J. C. M. and Bergstra, J. A.: Real Time Process Algebra. Formal Aspects of Computing, 3(2), 142-188 (1991).
2. Baeten, J. C. M. and Bergstra, J. A.: Discrete Time Process Algebra. Extended abstract in: (ed.), Cleaveland, W. R., Proc. CONCUR '92, LNCS 630. Springer-Verlag, 1992, pp. 401-420. (Full version: report P9208b, Programming Research Group, University of Amsterdam, 1992, pp. 81. Available at ftp://ftp.win.tue.nl/pub/techreports/josb/ discretetime.ps.Z.)
3. Baeten, J. C. M. and Bergstra, J. A.: Real Space Process Algebra. Formal Aspects of Computing, 5(6), 481-529 (1993).
4. Baeten, J. C. M. and Bergstra, J. A.: On Sequential Composition, Action Prefixes and Process Prefix. Formal Aspects of Computing, 6(3), 250-268 (1994).
5. Baeten, J. C. M. and Weijland, W. P.: Process Algebra. Cambridge Tracts in Theor Comp. Sci. 18, Cambridge University Press, 1990.
6. Bergstra, J. A. & Klop, J. W.: Process Algebra for Synchronous Communication, Information and Control. 60, 109-137 (1984).
7. Bergstra, J. A. and Klop, J. W.: The Algebra of Recursively Defined Processes and the Algebra of Regular Processes. Extended abstract in : Paredaens, J. (ed.). Proceedings 11th ICALP, Antwerpen. LNCS 172. Springer-Verlag, 1984, pp. 82-95. (Full version in: Ponse, A., Verhoef, C. and van Vlijmen, S. F. M. (eds), Proc. ACP94, Utrecht, 1994, Workshops in Computing, Springer-Verlag, 1995, pp. 1-25.)
8. Bergstra, J. A. and Klop, J. W.: The Algebra of Recursively Defined Processes and the Algebra of Regular Processes. Extended abstract in : Paredaens, J. (ed.). Proceedings 11th ICALP, Antwerpen. LNCS 172. Springer-Verlag, 1984, pp. 82-95. (Full version in: Ponse, A., Verhoef, C. and van Vlijmen, S. F. M. (eds), Proc. ACP94, Utrecht, 1994, Workshops in Computing, Springer-Verlag, 1995, pp. 1-25.)
9. Bergstra, J. A. and Klint, P.: The Toolbus - a Component Interconnection Architecture. Report P9408, Programming Research Group. University of Amsterdam, 1994.
10. Bergstra, J. A. and Klint, P.: The Discrete Time Toolbus. Report P9502, Programming Research Group, University of Amsterdam 1995.
11. Bergstra, J. A. and Middelburg, C. A.: A Process Algebra Semantics for φSDL. Report LGPS 129, Dept. of Philosophy, Utrecht University, 1995.
12. Bergstra, J. A., Bethke, I. & Ponse, A.: Process Algebra with Iteration and Nesting. The Computer Journal, 37(4), 243-258 (1994).
13. Brookes. S.D., Hoare, C. A. R. and Roscoe, A. W.: A Theory of Communicating Sequential Processes. Journal of the ACM, 31(3), 560-599 (1984)
14. Fokkink, W. J.: A Complete Equational Axiomatisation for Prefix Iteration. IPL, 52(6), 333-337 (1994).
15. Fokkink, W. J. and Zantema, H.: Basic Process Algebra with Iteration: Completeness of its Equational Axioms. The Computer Journal, 37(4), 259-267 (1994).
16. Groote, J. F.: Specification and Verification of Real Time Systems in ACP in: Logríppo, L., Probert, R. L. and Ural, H. (eds), Proc. 10th Symp. on Protocol Specification, Testing and Verification, Ottawa, North-Holland, Amsterdam, 1990, pp. 261-274.
17. Gruska, D. P. and Maggiolo-Schettini, A.: A Timed Process Description Language Based on CCS. Report TR-9/91, Universitá de Pisa, 1991.
18. Hansson, H.: Time and Probabilities in Formal Design of Distributed Systems. Ph.D. thesis, report DoCS 91/27, Uppsala University, 1991.
19. Hennessy, M. and Regan, T.: A Temporal Process Algebra. Report 2/90, University of Sussex, 1990.
20. Hoare, C. A. R.: Communicating Sequential Processes. Prentice Hall, 1985.
21. Hoare, C. A. R., Hayes, I. J., Jifeng, He, Morgan, C. C., Roscoe, A. W., Sanders, J. W., Sorensen, I. H., Spivev, J. M. and Sufrin, B. A., Laws of Programming. CACM 30, 672-686 (1987).
22. Klusener, A. S.: Models and Axioms for a Fragment of Real Time Process Algebra. Ph.D. Thesis. Eindhoven University of Technology, 1993.
23. Milne, G. J.: Circal and the Representation of Communication. Concurrency and Time. ACM TOPLAS 7 (1985) 270-298.
24. Milner, R.: Communication and Concurrency, Prentice-Hall, 1989.
25. Moller, F. and Tofts, C.: A Temporal Calculus of Communicating Systems. Report LFCS-89-104, University of Edinburgh, 1989.
26. Moller, F. and Tofts, C.: A temporal Calculus of Communicating Systems. In. Baeten, J. C. M. and Klop, J. W. (eds), Proc. CONCUR '90, Amsterdam, LNCS 458, Springer-Verlag, 1990, pp. 401-415.
27. Nicollin, X. and Sifakis, J.: The Algebra of Timed Processes ATP: Theory and Application. Information and Computation, 114, 131-178 (1994).
28. Nicollin, X., Richier, J.-L., Sifakis, J. and Voiron, J.: ATP: an Algebra for Timed Processes. In: Proc. IFIP TC2 Conf. on Programming Concepts and Methods, Sea of Gallilee, Israel, 1990.
29. Reed, G. M. and Roscoe, A. W.: A Timed Model for Communicating Sequential Processes. TCS, 58, 249-261 (1988).
30. Verhoef, C.: A Congruence Theorem for Structured Operational Semantics with Predicates and Negative Premises. In: Jonsson, B. and Farrow, J. (eds), Proc. CONCUR'94, Uppsala, LNCS 836, Springer-Verlag, 1994, pp. 433-448.