Skip to main content
SpringerLink
Log in
Book cover
  • Book
  • © 1980

A Calculus of Communicating Systems

Editors:

  1. Robin Milner
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Sections

Buy it now

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

Other ways to access

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

Table of contents (12 chapters)

  1. Front Matter

    PDF

  2. 0. Introduction

    Pages 1-8

  4. 2. Synchronization

    Pages 19-32

  11. 9. Translation into CCS

    Pages 126-137

  13. 11. Conclusion

    Pages 158-165

  14. Back Matter

    PDF
Back to top

Keywords

Back to top

Bibliographic Information

  • Book Title: A Calculus of Communicating Systems

  • Editors: Robin Milner

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-10235-3

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1980

  • Softcover ISBN: 978-3-540-10235-9Published: 01 September 1980

  • eBook ISBN: 978-3-540-38311-6Published: 13 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VI, 174

  • Topics: IT in Business, Computer Science, general

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Other ways to access

Search

Navigation