Books by Roberto Gorrieri
4 titles available, newest first by original publication date.
Syntax and Semantics of Petri Nets
Syntax and Semantics of Petri Nets
Roberto Gorrieri
$153.99
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems
Roberto Gorrieri
$106.99
Introduction to Concurrency Theory: Transition Systems and CCS
Introduction to Concurrency Theory: Transition Systems and CCS
Roberto Gorrieri
$67.99
Formal Methods for Open Object-Based Distributed Systems: 8th Ifip Wg 6.1 International Conference, Fmoods 2006, Bologna, Italy, June 14-16, 2006, Pro
Formal Methods for Open Object-Based Distributed Systems: 8th Ifip Wg 6.1 International Conference, Fmoods 2006, Bologna, Italy, June 14-16, 2006, Pro
Roberto Gorrieri
$67.99