Process algebra with nonstandard timing

Fundamenta Informaticae

Volumn 53, Issue 1, 2002, Pages 55-77

  Middelburg, Kees A ^a,b  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Nonstandard timing; Process algebra; Timing; Urgent actions

Indexed keywords

ABSTRACTING; ALGEBRA; TIME DOMAIN ANALYSIS;

NONSTANDARD TIMINGS;

INFORMATION THEORY;

EID: 0036872804     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (18)

1. Baeten, J.C.M., Bergstra, J.A.: Real Time Process Algebra, Formal Aspects of Computing, 3(2), 1991, 142-188.
2. Baeten, J.C.M., Bergstra, J.A.: Discrete Time Process Algebra (extended abstract), CONCUR'92 (W.R. Cleaveland, Ed.), LNCS 630, Springer-Verlag, Berlin, 1992, Full version: Report P9208b, Programming Research Group, University of Amsterdam.
3. Baeten, J.C.M., Bergstra, J.A.: Real Space Process Algebra, Formal Aspects of Computing, 5(6), 1993, 481-529.
4. Baeten, J.C.M., Bergstra, J.A.: Real Time Process Algebra with Infinitesimals, Algebra of Communicating Processes 1994 (A. Ponse, C. Verhoef, S.F.M. van Vlijmen, Eds.), Workshop in Computing Series, Springer-Verlag, Berlin, 1995.
5. Baeten, J.C.M., Bergstra, J.A.: Discrete Time Process Algebra, Formal Aspects of Computing, 8(2), 1996, 188-208.
6. Baeten, J.C.M., Middelburg, C.A.: Process Algebra with Timing: Real Time and Discrete Time, in: Handbook of Process Algebra (J.A. Bergstra, A. Ponse, S.A. Smolka, Eds.), Elsevier, Amsterdam, 2001, 627-684.
7. Baeten, J.C.M., Middelburg, C.A.: Process Algebra with Timing, EATCS Monographs Series, Springer Verlag, Berlin, 2002.
8. Baeten, J.C.M., Verhoef, C.: Concrete Process Algebra, in: Handbook of Logic in Computer Science, Volume IV (S. Abramsky, D.M. Gabbay, T.S.E. Maibaum, Eds.), Oxford University Press, Oxford, 1995, 149-268.
9. Baeten, J.C.M., Weijland, W.P.: Process Algebra, Cambridge Tracts in Theoretical Computer Science 18, Cambridge University Press, Cambridge, 1990.
10. Chen, L.: An Interleaving Model for Real-Time Systems, Symposium on Logical Foundations of Computer Science (A. Nerode, M. Taitslin, Eds.), LNCS 620, Springer-Verlag, Berlin, 1992.
11. Goldblatt, R.: Lectures on the Hyperreals: An Introduction to Nonstandard Analysis, Springer-Verlag, Berlin, 1998.
12. Middelburg, C.A.: Variable Binding Operators in Transition System Specifications, Journal of Logic and Algebraic Programming, 47(1), 2001, 15-45.
13. Middelburg, C.A.: An Alternative Formulation of Operational Conservativity with Binding Terms, Journal of Logic and Algebraic Programming, 2003, To appear.
14. Middelburg, C.A.: Revisiting Timing in Process Algebra, Journal of Logic and Algebraic Programming, 54(1-2), 2003, 109-127.
15. Moller, F., Tofts, C.: A Temporal Calculus of Communicating Systems, CONCUR'90 (J.C.M. Baeten, J.W. Klop, Eds.), LNCS 458, Springer-Verlag, Berlin, 1990.
16. Nicollin, X., Sifakis, J.: The Algebra of Timed Processes ATP: Theory and Application, Information and Computation, 114(1), 1994, 131-178.
17. Robinson, A.: Non-standard Analysis, Revised edition, Princeton University Press, Princeton, 1996.
18. Wang Yi: Real-Time Behaviour of Asynchronous Agents, CONCUR'90 (J.C.M. Baeten, J.W. Klop, Eds.), LNCS 458, Springer-Verlag, Berlin, 1990.