Get Free Shipping on orders over $0
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

God AI : Boom or Doom? What to Expect When Machines Outsmart Us - Toby Walsh
Medium Hot : Images in the Age of Heat - Hito Steyerl

RRP $26.99

$22.99

15%
OFF
Microsoft 365 Excel For Dummies : For Dummies (Computer/Tech) - David H. Ringstrom
Empire of AI : Inside the reckless race for total domination - Karen Hao
Co-Existence : The Next Phase of AI - Ethan Mollick

RRP $39.99

$31.75

21%
OFF
Claude For Dummies - Stephanie Diamond

RRP $44.95

$35.75

20%
OFF
We Are Not Machines : The Fight for the Future of Work - Sarah O'Connor
Co-Intelligence : Living and Working with AI - Ethan Mollick

RRP $36.99

$28.75

22%
OFF
Introduction to Computer Music - Roger B. Dannenberg

RRP $263.00

$262.75

Modern Computing : Principles and Paradigms - Sukhpal Singh Gill

RRP $362.00

$361.75

Next Level : Making Games That Make Themselves - Dr Mike Cook

RRP $44.99

$39.75

12%
OFF