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