Our systems are now restored following recent technical disruption, and we’re working hard to catch up on publishing. We apologise for the inconvenience caused. Find out more

Item added to bagSorry, there was a problem getting your bag informationItem cannot be purchased with the existing contents of your bagItem unavailable online
✕

was added to your bag.

Please try again.

Sorry, this item cannot be purchased in the same transaction as the existing items in your bag.

Please complete the purchase of the items currently in your bag and then add this item in a separate transaction or visit Shopping Help.

Sorry, this product is not currently available to buy online. Please visit Shopping Help.

View bag and checkout
Remove item
✕

Are you sure you want to remove from your bag?

Recommended product

Popular links

Popular links

Distributed, networked and mobile computing

Results

Filter
Current filters
Refine results

Results

Per Page 1 – 7 of 7
✕
Syntax and Semantics of Petri Nets
Syntax and Semantics of Petri Nets
Roberto Gorrieri Roberto Gorrieri
August 2025
9781009613286
Not yet published - available from August 2025
Hardback
AUD$211.95
✕
Concurrency Verification
Concurrency Verification
Introduction to Compositional and Non-compositional Methods
Willem-Paul de Roever
(+6 others) Willem-Paul de Roever
Frank de Boer
Ulrich Hanneman
(+4 others)
January 2012
9780521169325
Available
Paperback
AUD$139.95
✕
Concurrency Verification
Concurrency Verification
Introduction to Compositional and Non-compositional Methods
Willem-Paul de Roever
(+6 others) Willem-Paul de Roever
Frank de Boer
Ulrich Hanneman
(+4 others)
November 2002
9780521806084
Available
Hardback
AUD$437.00
✕
Advanced Topics in Bisimulation and Coinduction
Advanced Topics in Bisimulation and Coinduction
Davide Sangiorgi
(+1 other) Davide Sangiorgi
Jan Rutten
October 2011
9781139153799
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$148.00
Buy eBook
✕
Advanced Topics in Bisimulation and Coinduction
Advanced Topics in Bisimulation and Coinduction
Davide Sangiorgi
(+1 other) Davide Sangiorgi
Jan Rutten
October 2011
9781107004979
Available
Hardback
AUD$212.95
✕
Process Algebra: Equational Theories of Communicating Processes
Process Algebra: Equational Theories of Communicating Processes
J. C. M. Baeten
(+2 others) J. C. M. Baeten
T. Basten
M. A. Reniers
January 2010
9780511717420
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$120.00
Buy eBook
✕
Process Algebra: Equational Theories of Communicating Processes
Process Algebra: Equational Theories of Communicating Processes
J. C. M. Baeten
(+2 others) J. C. M. Baeten
T. Basten
M. A. Reniers
January 2010
9780521820493
Available
Hardback
AUD$168.95
✕
Free Choice Petri Nets
Free Choice Petri Nets
Jorg Desel
(+1 other) Jorg Desel
Javier Esparza
September 2005
9780521019453
Available
Paperback
AUD$75.95
✕
Free Choice Petri Nets
Free Choice Petri Nets
Jorg Desel
(+1 other) Jorg Desel
Javier Esparza
September 2005
9780511885822
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$51.00
Buy eBook
✕
Nets, Terms and Formulas
Nets, Terms and Formulas
Three Views of Concurrent Processes and their Relationship
E. -R. Olderog E. -R. Olderog
August 2005
9780511878480
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$59.00
Buy eBook
✕
Nets, Terms and Formulas
Nets, Terms and Formulas
Three Views of Concurrent Processes and their Relationship
E. -R. Olderog E. -R. Olderog
August 2005
9780521018456
Available
Paperback
AUD$82.95
✕
Nets, Terms and Formulas
Nets, Terms and Formulas
Three Views of Concurrent Processes and their Relationship
E. -R. Olderog E. -R. Olderog
December 1991
9780521400442
Available
Hardback
AUD$212.95
✕
Applications of Process Algebra
Applications of Process Algebra
J. C. M. Baeten J. C. M. Baeten
March 2005
9780521607506
Available
Paperback
AUD$166.95
✕
Applications of Process Algebra
Applications of Process Algebra
J. C. M. Baeten J. C. M. Baeten
March 2005
9780511878442
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
$118.00
Buy eBook
Per Page 1 – 7 of 7

Save 20% on your next online purchase

Subscribe to Cambridge Alerts to receive email alerts on new books, offers and news...

Subscribe
alerts banner

Browse by related subject

 
✕

Sorry, this item cannot be purchased in the same transaction as the existing items in your cart.

Please complete the purchase of the items currently in your cart and then add this item in a separate transaction or contact

Customer Services

    Acknowledgement

    Cambridge University Press & Assessment acknowledges, celebrates and respects the Boonwurrung People of the Kulin Nation as the Traditional Custodians of the land on which our office in Australia stands. We pay our respects to their ancestors, elders and emerging leaders and extend our respect to Aboriginal and Torres Strait Islander People from all nations of this land, and whose cultures are among the oldest continuing in human history.

      Content warning

      Aboriginal and Torres Strait Islander viewers are advised that this website/platform may contain the image, voice, or name of deceased persons. We apologise for any distress that may occur.