Electronic Books

Total Books: 1 - 3 /3
CONCUR 2006 - Concurrency Theory

This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, ...

Weiterlesen
CONCUR 2007 – Concurrency Theory

This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...

Weiterlesen
CONCUR 2007 – Concurrency Theory

This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...

Weiterlesen
Total Books: 1 - 3 /3