This volume constitutes the refereed proceedings of the 17th
International Conference on Concurrency Theory. Thirty full papers
are presented along with three important invited papers. Each of
these papers was carefully reviewed by the editors. Topics include
model checking, process calculi, minimization and equivalence
checking, types, semantics, probability, bisimulation and
simulation, real time, and formal languages.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!