A Formalism for Remotely Interacting Processes

An earlier paper [21] introduced process calculi with notions of time suited to express concurrent and distributed real-time computations. However, they cannot sufficiently model asynchronous communication in distributed systems. In this paper we present a process calculus with the ability to express asynchronous message passing with location-dependent transmission delay. It allows us to describe temporal and behavioral properties of asynchronous interactions among remotely located processes. Based on the process calculus, we also develop a “speed-sensitive” order relation for distributed real-time processes. It is formulated based on the notion of bisimulation and can distinguish between behaviorally equivalent processes performing at different speeds.

[1]  Jan A. Bergstra,et al.  Asynchronous Communication in Real Space Process Algebra , 1992, FTRTFT.

[2]  David Park,et al.  Concurrency and Automata on Infinite Sequences , 1981, Theoretical Computer Science.

[3]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[4]  Mario Tokoro,et al.  An Object Calculus for Asynchronous Communication , 1991, ECOOP.

[5]  Ichiro Satoh,et al.  Asynchrony and Real-Time in Distributed Systems , 1992, Parallel Symbolic Computing.

[6]  Wang Yi,et al.  CCS + Time = An Interleaving Model for Real Time Systems , 1991, ICALP.

[7]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[8]  Jifeng He,et al.  A Theory of Synchrony and Asynchrony , 1990, Programming Concepts and Methods.

[9]  Joseph Sifakis,et al.  An Overview and Synthesis on Timed Process Algebras , 1991, CAV.

[10]  Ichiro Satoh,et al.  Time and Asynchrony in Interactions among Distributed Real-Time Objects , 1995, ECOOP.

[11]  Matthew Hennessy.  Timed Process Algebras: A Tutorial , 1992, NATO ASI PDC.

[12]  Ichiro Satoh,et al.  A Timed Calculus for Distributed Objects with Clocks , 1993, ECOOP.

[13]  Ichiro Satoh,et al.  A formalism for real-time concurrent object-oriented computing , 1992, OOPSLA.

[14]  Padmanabhan Krishnan,et al.  Distributed CCS , 1991, CONCUR.

[15]  Frank S. de Boer,et al.  Asynchronous communication in process algebra , 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.

[16]  Grzegorz Rozenberg,et al.  Timed CSP: Theory and practice , 1992 .

[17]  Jim Davies,et al.  Timed CSP: Theory and Practice , 1991, REX Workshop.

[18]  Jan A. Bergstra,et al.  Process Algebra with Asynchronous Communication Mechanisms , 1984, Seminar on Concurrency.

[19]  Faron Moller,et al.  Relating Processes With Respect to Speed , 1991, CONCUR.

[20]  Ichiro Satoh,et al.  Semantics for a real-time object-oriented programming language , 1994, Proceedings of 1994 IEEE International Conference on Computer Languages (ICCL'94).