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