Satellite Workshops from CONCUR 2000
Volume 39,
Number 1,
2000
Volume 39,
Number 2,
2001
GEometry and Topology in COncurrency theory
PennState,
USA,
August 21,
2000
Volume 39,
Number 3,
2000
MTCS 2000
State College,
USA,
26 August 2000
- Flavio Corradini, Paola Inverardi:
Preface.
Electronic Edition (link) BibTeX
- Mario Bravetti, Marco Bernardo:
Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time.
Electronic Edition (link) BibTeX
- Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié:
Exploiting Partial Symmetries for Markov Chain Aggregation.
Electronic Edition (link) BibTeX
- Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka:
Real-Time Verification Techniques for Untimed Systems.
Electronic Edition (link) BibTeX
- Lone Halkjaer, Karen Haervig, Anna Ingólfsdóttir:
Verification of the legOS Scheduler using Uppaal.
Electronic Edition (link) BibTeX
- Ella E. Roubtsova, Jan van Katwijk, W. J. Toetenel, Cornelis Pronk, Ruud C. M. de Rooij:
Specification of Real-Time Systems in UML.
Electronic Edition (link) BibTeX
- Walter Vogler, Lars Jenner:
Axiomatizing a Fragment of PAFAS.
Electronic Edition (link) BibTeX
- Thomas A. Henzinger:
Exploiting Design Structure in Model Checking.
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:58:13 2009
by Michael Ley (ley@uni-trier.de)