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