12. CONCUR 2001:
Aalborg,
Denmark
Kim Guldstrand Larsen, Mogens Nielsen (Eds.):
CONCUR 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings.
Lecture Notes in Computer Science 2154 Springer 2001, ISBN 3-540-42497-0 BibTeX
@proceedings{DBLP:conf/concur/2001,
editor = {Kim Guldstrand Larsen and
Mogens Nielsen},
title = {CONCUR 2001 - Concurrency Theory, 12th International Conference,
Aalborg, Denmark, August 20-25, 2001, Proceedings},
booktitle = {CONCUR},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2154},
year = {2001},
isbn = {3-540-42497-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Talks
Invited Tutorials
Mobility
Probabilistic Systems
Model Checking
Process Algebra
Probabilistic Systems
Unfoldings and Prefixes
Model Checking
- Patrice Godefroid, Michael Huth, Radha Jagadeesan:
Abstraction-Based Model Checking Using Modal Transition Systems.
426-440
Electronic Edition (Springer LINK) BibTeX
- Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Albert Y. C. Lai, Victor Petrovykh:
Efficient Multiple-Valued Model-Checking Using Lattice Representations.
441-455
Electronic Edition (Springer LINK) BibTeX
- Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi:
Divide and Compose: SCC Refinement for Language Emptiness.
456-471
Electronic Edition (Springer LINK) BibTeX
- Marie Duflot, Laurent Fribourg, Ulf Nilsson:
Unavoidable Configurations of Parameterized Rings of Processes.
472-486
Electronic Edition (Springer LINK) BibTeX
Logic and Compositionality
Games
Copyright © Sat May 16 23:03:17 2009
by Michael Ley (ley@uni-trier.de)
