Skip to main content
SpringerLink
Log in

A formalism for remotely interacting processes

Working paper

  • Invited Talk 4
  • Conference paper
  • First Online:
Theory and Practice of Parallel Programming (TPPP 1994)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 907))

Included in the following conference series:

Abstract

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.

Partially supported by JSPS Fellowships for Japanese Junior Scientists.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Baeten, J. C. M., and Bergstra, J. A., Process Algebra, Cambridge University Press, 1990.

    Google Scholar 

  2. Baeten, J. C. M., and Bergstra, J. A., Asynchronous Communication in Real Space Process Algebra, Proceedings of Formal Techniques in Real-Time and Fault-Tolerant System, LNCS 591, p473–491, Springer-Verlag, May, 1991.

    Google Scholar 

  3. Bergstra, J. A., and Klop, J. W., Process Algebra with Asynchronous Communication Mechanisms, Seminar on Concurrency, LNCS 197, p76–95, Springer-Verlag, 1985.

    Google Scholar 

  4. Boudol, G., Castellani, I., Hennessy, M., and Kiehn, A., A Theory of Processes with Localities, Proceedings of CONCUR'92, LNCS 630, p108–122, August, 1992.

    Google Scholar 

  5. de Bore, F.S., Klop, J.W., and Palamidessi, Asynchronous Communication in Process Algebra, Proceedings of LICS'92, p137–147, June, 1992.

    Google Scholar 

  6. Degano, P., deNicola, R. D., and Montanari, U., A Distributed Operational Semantics for CCS Based on Condition / Event Systems, Acta Informatica, Vol.26, p59–91, 1988.

    Google Scholar 

  7. Hennessy, M., On Timed Process Algebra: a Tutorial, Technical Report 2/93, University of Sussex, 1993

    Google Scholar 

  8. Honda, K., and Tokoro, M., An Object Calculus for Asynchronous Communication, Proceedings of ECOOP'91, LNCS 512, p133–147, June, 1991.

    Google Scholar 

  9. Jifeng, M. B, and Hoare, C. A. R., A Theory of Synchrony and Asynchrony, Proceedings of IFIP WG2.2/2.3 Programming Concepts and Methods, p459–478, 1990

    Google Scholar 

  10. Krishnan, P., Distributed CCS, Proceedings of CONCUR'91, LNCS 527, p393–407, Springer-Verlag, August, 1991.

    Google Scholar 

  11. Milner, R., Communication and Concurrency, Prentice Hall, 1989.

    Google Scholar 

  12. Milner, R., Parrow. J., Walker, D., A Calculus of Mobile Processes, Information and Computation, Vol.100, p1–77, 1992.

    Article  Google Scholar 

  13. Moller, F., and Tofts, C., Relating Processes with Respect to Speed, Proceedings of CONCUR'91, LNCS 527, Springer-Verlag, August, 1991.

    Google Scholar 

  14. Nicollin. X., and Sifakis, J., An Overview and Synthesis on Timed Process Algebras, Proceedings of Computer Aided Verification, LNCS 575, p376–398, Springer-Verlag, June, 1991.

    Google Scholar 

  15. Park, D., Concurrency and Automata on Infinite Sequences, Proceedings of Theoretical Computer Science, LNCS 104, p167–187, Springer-Verlag, 1981.

    Google Scholar 

  16. Satoh, I., and Tokoro, M., A Formalism for Real-Time Concurrent Object-Oriented Computing, Proceedings of 7th ACM Object Oriented Programming Systems and Languages, and Applications, p315–326, October, 1992.

    Google Scholar 

  17. Satoh, I., and Tokoro, M., A Timed Calculus for Distributed Objects with Clocks, Proceedings of 8th European Conference on Object Oriented Programming, LNCS 707, p326–345, Springer-Verlag, July, 1993.

    Google Scholar 

  18. Satoh, I., and Tokoro, M., Semantics for a Real-Time Object-Oriented Programming Language, Proceedings of IEEE Conference on Computer Languages'94, P159–170, May, 1994.

    Google Scholar 

  19. Satoh, I., and Tokoro, M., Time and Asynchrony in Interactions among Distributed Real-Time Objects, Keio CS Technical Report, 1994.

    Google Scholar 

  20. Schneider, S., Davies, J., Jackson, D.M., Reed, G.M., Reed, J.N., and Roscoe, A.W., Timed CSP: Theory and Practice, Proceedings of REX Workshop on Real-Time: Theory and Practice, LNCS 600, p640–675, Springer-Verlag, 1991.

    Google Scholar 

  21. Tokoro, M., and Satoh, I., Asynchrony and Real-Time in Distributed Systems, Proceedings of Parallel Symbolic Computing: Languages, Systems, and Application, LNCS 748. p318–330, Springer-Verlag, 1993.

    Google Scholar 

  22. Yi, W., CCS+Time=an Interleaving Model for Real Time Systems, In proceedings of Automata, Languages and Programming'91, LNCS 510, Springer-Verlag, 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Keio University, 3-14-1, Hiyoshi, Kohoku-ku, 223, Yokohama, Japan

    Ichiro Satoh & Mario Tokoro

  2. Sony Computer Science Laboratory Inc., 3-14-13 Higashi-Gotanda, Shinagawa-ku, 141, Tokyo, Japan

    Mario Tokoro

Authors
  1. Ichiro Satoh
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mario Tokoro
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Takayasu Ito Akinori Yonezawa

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Satoh, I., Tokoro, M. (1995). A formalism for remotely interacting processes. In: Ito, T., Yonezawa, A. (eds) Theory and Practice of Parallel Programming. TPPP 1994. Lecture Notes in Computer Science, vol 907. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0026571

Download citation

  • DOI: https://doi.org/10.1007/BFb0026571

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-59172-6

  • Online ISBN: 978-3-540-49218-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation