Skip to main content
SpringerLink
Log in

Real Time Process Algebra with Infinitesimals

  • Conference paper
Algebra of Communicating Processes

Part of the book series: Workshops in Computing ((WORKSHOPS COMP.))

Abstract

We consider a model of the real time process algebra of [1,2,3] based on the nonstandard reals. As a subalgebra, we obtain a theory in which the urgent actions of ATP, TiCCS, TeCCS can be modeled.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J.C.M. Baeten & J.A. Bergstra. Real time process algebra. Formal Aspects of Computing 1991;3:142–188.

    Article  Google Scholar 

  2. J.C.M. Baeten & J.A. Bergstra. Discrete time process algebra. In: W.R. Cleaveland (ed.), Proc. CONCUR’92, Stony Brook. Springer Verlag 1992, pp. 401–420 (Lecture Notes in Computer Science no. 630).

    Google Scholar 

  3. J.C.M. Baeten & J.A. Bergstra. Real space process algebra. Formal Aspects of Computing 1993; 5:481–529.

    Google Scholar 

  4. J.C.M. Baeten, J.A. Bergstra & J.W. Klop. Syntax and defining equations for an interrupt mechanism in process algebra. Fund. Inf. 1986; IX: 127–168.

    Google Scholar 

  5. J.C.M. Baeten & W.P. Weijland. Process algebra. Cambridge Tracts in Theor. Comp. Sci. 18, Cambridge University Press 1990.

    Book  Google Scholar 

  6. J.A. Bergstra & J.W. Klop. Process algebra for synchronous communication. Information & Control 1984; 60:109–137.

    Article  MathSciNet  MATH  Google Scholar 

  7. L. Chen. Timed processes: models, axioms and decidability. Ph.D. thesis, University of Edinburgh 1993.

    Google Scholar 

  8. W.J. Fokkink & A.S. Klusener. Real time process algebra with prefixed integration. Report CS-R9219, CWI, Amsterdam 1992.

    Google Scholar 

  9. A.S. Klusener. Models and axioms for a fragment of real time process algebra. Ph.D. Thesis, Eindhoven University of Technology 1993.

    MATH  Google Scholar 

  10. W.A.J. Luxemburg. Non-standard analysis (lectures on A. Robinson’s theory of infinitesimals and infinitely large numbers). California Institute of Technology, Pasadena 1962.

    Google Scholar 

  11. F. Moller & C. Tofts. A temporal calculus of communicating systems. In: J.C.M. Baeten & J.W. Klop (eds.), Proc. CONCUR’90, Amsterdam. Springer Verlag 1990, pp. 401–415 (Lecture Notes in Computer Science no. 458).

    Google Scholar 

  12. F. Moller & C. Tofts. Behavioural abstraction in TCCS. In: W. Kuich (ed.), Proc. ICALP 92, Vienna. Springer Verlag 1992 (Lecture Notes in Computer Science 623).

    Google Scholar 

  13. X. Nicollin & J. Sifakis. The algebra of timed processes ATP: theory and application (revised version). Report RT-C26, IMAG Grenoble 1991.

    Google Scholar 

  14. G.D. Plotkin. A structural approach to operational semantics. Report DAIMI FN- 19, Comp. Sci. Dept., Aarhus University 1981.

    Google Scholar 

  15. A. Robinson. Non-standard analysis. Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam 1966.

    Google Scholar 

  16. Wang Yi. Real-time behaviour of asynchronous agents. In: J.C.M. Baeten & J.W. Klop (eds.), Proc. CONCUR’90, Amsterdam, Springer Verlag 1990, pp. 502–520 (Lecture Notes in Computer Science 458).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands

    J. C. M. Baeten

  2. Programming Research Group, University of Amsterdam, Amsterdam, The Netherlands

    J. A. Bergstra

  3. Department of Philosophy, Utrecht University, Utrecht, The Netherlands

    J. A. Bergstra

Authors
  1. J. C. M. Baeten
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. J. A. Bergstra
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Programming Research Group, University of Amsterdam, Kruislaan 403, 1098 SJ, Amsterdam, The Netherlands

    A. Ponse PhD

  2. Department of Mathematics and Computing Science, Eindhoven University of Technology, PO Box 513, 5600 MB, Eindhoven, The Netherlands

    C. Verhoef PhD

  3. Department of Philosophy, Utrecht University, Heidelberglaan 8, 3584 CS, Utrecht, The Netherlands

    S. F. M. van Vlijmen Drs.

Rights and permissions

Reprints and permissions

Copyright information

© 1995 British Computer Society

About this paper

Cite this paper

Baeten, J.C.M., Bergstra, J.A. (1995). Real Time Process Algebra with Infinitesimals. In: Ponse, A., Verhoef, C., van Vlijmen, S.F.M. (eds) Algebra of Communicating Processes. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-2120-6_7

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-2120-6_7

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-19909-0

  • Online ISBN: 978-1-4471-2120-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation