Skip to main content
SpringerLink
Log in

A Calculus of Communicating Systems

  • Book
  • © 1980

Overview

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)

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Softcover Book USD 54.99
Price excludes VAT (USA)

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Keywords

Table of contents (12 chapters)

  1. Front Matter

    Download chapter PDF

  2. 0. Introduction

    Pages 1-8

  3. 1. Experimenting on nondeterministic machines

    Pages 9-18

  4. 2. Synchronization

    Pages 19-32

  5. 3. A case study in synchronization and proof techniques

    Pages 33-46

  6. 4. Case studies in value-communication

    Pages 47-64

  7. 5. Syntax and semantics of CCS

    Pages 65-83

  8. 6. Communication trees (CTs) as a model of CCS

    Pages 84-97

  9. 7. Observation equivalence and its properties

    Pages 98-110

  10. 8. Some proofs about data structures

    Pages 111-125

  11. 9. Translation into CCS

    Pages 126-137

  12. 10. Determinancy and confluence

    Pages 138-157

  13. 11. Conclusion

    Pages 158-165

  14. Back Matter

    Download chapter PDF
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

Publish with us

Policies and ethics

Back to top

Search

Navigation