Skip to main content
SpringerLink
Log in

Process Communication Environment

  • Conference paper
NAPAW 92

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

Abstract

A real time extension of CCS which takes into account properties of an interconnection communication network is presented. With the help of this calculus several semantics for CCS are defined. Limitations of CCS are discussed.

Work partially supported by CNR — Progetto Finalizzato Informatica and by the grant MSMS SR 01/72

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.A. Bergstra and J.W. Klop, Algebra of communicating processes with abstraction, Theoretical Computer Science, 37, pp. 77–21, 1985.

    Article  MathSciNet  MATH  Google Scholar 

  2. U. Black, Computer Networks, Prentice-Hall International, New York, 1987.

    Google Scholar 

  3. J.F. Groote, Transition systems specification with negative premises, In CONCUR’90, LNCS 458, pp. 332–341, 1990.

    MathSciNet  Google Scholar 

  4. J.F. Groote, Specification and verification of real time systems in ACP, Technical report CS-R9015, CWI, Amsterdam, 1990.

    Google Scholar 

  5. D.P. Gruska and A. Maggiolo-Schettini, A timed process description language based on CCS, Technical Report TR-9/91, Dipartimento di Informatica, Università di Pisa, 1991.

    Google Scholar 

  6. D.P. Gruska and A. Maggiolo-Schettini, Net semantics for communicating processes, Technical Report 8/92, Institute of Informatics, Comenius University, 1992.

    Google Scholar 

  7. M. Hennessy and T. Regan, A temporal process algebra, In FORTE ‘80, Third International Conference on Formal Description Techniques, Madrid, November 5–8, pp. 25–40, 1990.

    Google Scholar 

  8. C.A.R. Hoare, Communicating Sequential Processes,Prentice-Hall International, New York,1985.

    MATH  Google Scholar 

  9. H. Hansson and B. Jonsson, A calculus for communicating systems with time and probabilities, In Proceedings of 11th IEEE Real - Time Systems Symposium, Orlando, 1990.

    Google Scholar 

  10. R. Milner, Communication and Concurrency,Prentice-Hall International, New York,1989.

    MATH  Google Scholar 

  11. F. Moller and C. Tofts, A temporal calculus of communicating programs, In CONCUR’90, LNCS 458, pp. 401–415, 1990.

    MathSciNet  Google Scholar 

  12. C. Weitzman, Distributed Mocro/Minicomputer Systems,Prentice-Hall International, New York,1980.

    Google Scholar 

  13. W. Yi, CCS+time = an interleaving model for real time systems, In ICALP’91, LNCS 510, pp. 217–228, 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Informatics, Comenius University, 842 15, Bratislava, Czecho-Slovakia

    Damas P. Gruska

  2. Dipartimento di Informatica, Università di Pisa, 56 125, Pisa, Italy

    Andrea Maggiolo-Schettini

Authors
  1. Damas P. Gruska
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Andrea Maggiolo-Schettini
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, 333 Whitmore Laboratory, The Pennsylvania State University, 16802, University Park, PA, USA

    S. Purushothaman PhD

  2. Department of Computer Science, The Johns Hopkins University, 21218, Baltimore, MD, USA

    Amy Zwarico

Rights and permissions

Reprints and permissions

Copyright information

© 1993 British Computer Society

About this paper

Cite this paper

Gruska, D.P., Maggiolo-Schettini, A. (1993). Process Communication Environment. In: Purushothaman, S., Zwarico, A. (eds) NAPAW 92. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3217-2_3

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-3217-2_3

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-19822-2

  • Online ISBN: 978-1-4471-3217-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation