Series: Prentice Hall International Series in Computer Science. Paperback: 272 pages.

As one of the leading theoretical computer scientists in Britain, Robin Miller has produced an excellent book containing a well- judged mixture of theory and practical applications. Includes information on Modelling Communication, Equational Laws and Their Applications, Strong Bisimulation and Strong Equivalence, and more. This book forms a solid base for academic courses and a valuable reference for practitioners. Series: Prentice Hall International Series in Computer Science.

Prentice Hall International Series in Computer Science is a series of books on computer science published by Prentice Hall. Many of the books in the series have been in the area of formal methods in particular.

Robin Milner, Communication and Concurrency, Prentice Hall, International Series in Computer Science . Electronic Notes in Theoretical Computer Science

Robin Milner, Communication and Concurrency, Prentice Hall, International Series in Computer Science, ISBN 0-13-115007-3. Electronic Notes in Theoretical Computer Science. Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006).

Communication and Concurrency book. Communication and Concurrency (Prentice Hall International Series in Computer Science). 0131150073 (ISBN13: 9780131150072).

Milner, . Communication and Concurrency, Prentice Hall, 1989. Milner, . Action calculi, or syntactic action structures, Mathematical Foundations of Computer. Science 1993 (1993), pp. 105–121

Milner, . 105–121. The Definition of Standard ML: revised, The MIT Press, 1997. Communicating and Mobile Systems: the π-calculus, Cambridge Univ Pr, 1999. The Space and Motion of Communicating Agents, Cambridge University Press, 2009. J. Parrow and D. Walker, A calculus of mobile processes, I, Information and Compu

Prentice Hall International Series in Computer Science is a series of books on computer science published by Prentice Hall. Robin Milner, Communication and Concurrency, 1989. ISBN 0-13-115007-3 (for the paperback).

Any Pages 1-24 25-50 51-100 100+. Dynamic Soil-Structure Interaction (Prentice-Hall International Series in Civil Engineering and Engineering Mechanics). 11 MB·841 Downloads·New!

Any Pages 1-24 25-50 51-100 100+. PRENTICE HALL SCIENCE EXPLORER Grade 8. 249 Pages·2012·4. 43 MB·2,387 Downloads. 6-4 Wireless Communication. 81 13-1 Air Pollution 165 15-4 Global Changes. Prentice Hall World History - Pearson. 47 Pages·2011·600 KB·2,674 Downloads. 11 MB·841 Downloads·New! Dynamic Soil-structure interaction is one of the major topics in earthquake engineering and soil. I Believe in Miracles, 1962, Kathryn Kuhlman, Prentice.

Communication and Concurrency develops a general calculus of concurrent programming from first principles. Mass Market Paperback Paperback Hardcover Mass Market Paperback Paperback Hardcover.

Are you sure you want to remove Communication and Concurrency (Prentice Hall International Series in Computer Science) from your list?

Are you sure you want to remove Communication and Concurrency (Prentice Hall International Series in Computer Science) from your list? Communication and Concurrency (Prentice Hall International Series in Computer Science). Published September 6, 1995 by Prentice Hall PTR.