Lecture Notes in Computer Science

A Calculus of Communicating Systems

Authors: Milner, R.

Buy this book

eBook $44.99
price for USA (gross)
  • ISBN 978-3-540-38311-6
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA
  • ISBN 978-3-540-10235-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (12 chapters)

  • 0. Introduction

    Pages 1-8

  • 1. Experimenting on nondeterministic machines

    Pages 9-18

  • 2. Synchronization

    Pages 19-32

  • 3. A case study in synchronization and proof techniques

    Pages 33-46

  • 4. Case studies in value-communication

    Pages 47-64

Buy this book

eBook $44.99
price for USA (gross)
  • ISBN 978-3-540-38311-6
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $59.99
price for USA
  • ISBN 978-3-540-10235-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Bibliographic Information

Bibliographic Information
Book Title
A Calculus of Communicating Systems
Authors
Series Title
Lecture Notes in Computer Science
Series Volume
92
Copyright
1980
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-38311-6
DOI
10.1007/3-540-10235-3
Softcover ISBN
978-3-540-10235-9
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VI, 174
Topics