Distributed, networked and mobile computing
Results
Filter
Current filters
Refine results
Results
Syntax and Semantics of Petri Nets
$140.00
Concurrency Verification
$99.00
Concurrency Verification
$275.99
Advanced Topics in Bisimulation and Coinduction
$148.00
Advanced Topics in Bisimulation and Coinduction
$148.00
Process Algebra: Equational Theories of Communicating Processes
$120.00
Process Algebra: Equational Theories of Communicating Processes
$120.00
$51.00
Free Choice Petri Nets
$51.00
Nets, Terms and Formulas
$59.00
Nets, Terms and Formulas
$59.00
Nets, Terms and Formulas
$140.00
Applications of Process Algebra
$118.00
Applications of Process Algebra
$118.00
