This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, ...
اقرأ المزيد
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
اقرأ المزيد
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
اقرأ المزيد