Advertisement

About this book

Keywords

Calc Equivalence calculus communication data structure data structures model proof semantics techniques

Bibliographic information

  • Book Title A Calculus of Communicating Systems
  • Authors R. Milner
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect Notes Comput Sci
  • DOI https://doi.org/10.1007/3-540-10235-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 1980
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-10235-9
  • eBook ISBN 978-3-540-38311-6
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages VI, 174
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics IT in Business
    Computer Science, general
  • Buy this book on publisher's site