Get Free Shipping on orders over $79
Lecture Notes in Computer Science : Lecture Notes in Computer Science - R. Milner

Lecture Notes in Computer Science

By: R. Milner

Paperback | 1 September 1980

At a Glance

Paperback


$84.99

or 4 interest-free payments of $21.25 with

 or 

Ships in 5 to 7 business days

0. Introduction.- 1. Experimenting on nondeterministic machines.- 2. Synchronization.- 3. A case study in synchronization and proof techniques.- 4. Case studies in value-communication.- 5. Syntax and semantics of CCS.- 6. Communication trees (CTs) as a model of CCS.- 7. Observation equivalence and its properties.- 8. Some proofs about data structures.- 9. Translation into CCS.- 10. Determinancy and confluence.- 11. Conclusion.

More in Computer Science

Empire of AI : Inside the reckless race for total domination - Karen Hao
How We Learn : The New Science of Education and the Brain - Stanislas Dehaene
Microsoft 365 Excel All-in-One For Dummies : Excel for Dummies - David H. Ringstrom
Microsoft Power BI For Dummies : For Dummies (Computer/Tech) - Jack A. Hyman
Teaching Online : A Practical Guide - Olena Zhadko

RRP $77.99

$73.75

Teaching Online : A Practical Guide - Olena Zhadko

RRP $273.00

$236.99

13%
OFF
Artificial Intelligence : A Modern Approach, 4th Global Edition - Peter Norvig
AUGMENTED THINKING : How to Use Your Mind - Edward Rozzo
Raising AI : An Essential Guide to Parenting Our Future - De Kai