Distributed, networked and mobile computing
Results
Filter
Current filters
Refine results
Results
✕
AUD$192.68 exc GST
✕
Syntax and Semantics of Petri Nets
August 2025
9781009613293
Not yet published - available from August 2025
Adobe eBook Reader
AUD$175.16 USD
✕
Concurrency Verification
Introduction to Compositional and Non-compositional Methods
January 2012
9780521169325
Available
Paperback
AUD$127.23 exc GST
✕
Concurrency Verification
Introduction to Compositional and Non-compositional Methods
November 2002
9780521806084
Available
Hardback
AUD$397.27 exc GST
✕
AUD$193.59 exc GST
✕
Advanced Topics in Bisimulation and Coinduction
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 USD
✕
Process Algebra: Equational Theories of Communicating Processes
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 USD
✕
Process Algebra: Equational Theories of Communicating Processes
January 2010
9780521820493
Available
Hardback
AUD$153.59 exc GST
✕
Free Choice Petri Nets
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 USD
✕
AUD$69.05 exc GST
✕
Nets, Terms and Formulas
Three Views of Concurrent Processes and their Relationship
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 USD
✕
Nets, Terms and Formulas
Three Views of Concurrent Processes and their Relationship
August 2005
9780521018456
Available
Paperback
AUD$75.41 exc GST
✕
Nets, Terms and Formulas
Three Views of Concurrent Processes and their Relationship
December 1991
9780521400442
Available
Hardback
AUD$193.59 exc GST
✕
AUD$151.77 exc GST
✕
Applications of Process Algebra
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 USD
