This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, ...
Lire la suite
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Lire la suite
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Lire la suite