Skip to main content
Article thumbnail
Location of Repository

Process algebra with nonstandard timing

By C.A. Middelburg


The possibility of two or more actions to be performed consecutively\ud at the same point in time is not excluded in the process algebra from the framework of process algebras with timing presented by Baeten and Middelburg [Handbook of Process Algebra, Elsevier, 2001,\ud Chapter 101]. This possibility is useful in practice when describing and analyzing systems in which actions occur that are entirely independent.\ud However, it is an abstraction of reality to assume that actions can be performed\ud consecutively at the same point in time. In this paper, we propose a process algebra with timing in which this possibility is excluded, but the finite elements of the nonstandard extension of the non-negative real numbers are taken as time domain. It is shown that this new process algebra generalizes the process algebras with timing from the aforementioned framework in a smooth and natural way

Topics: Wijsbegeerte, process algebra, timing, nonstandard timing, urgent actions
Year: 2002
OAI identifier:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.