Total Books: 1 - 2 /2
CONCUR 2007 – Concurrency Theory
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Lire la suite
CONCUR 2007 – Concurrency Theory
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Lire la suite
Total Books: 1 - 2 /2
