7. CONCUR 1996:
Pisa, Italy
Ugo Montanari, Vladimiro Sassone (Eds.):
CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings.
Lecture Notes in Computer Science 1119 Springer 1996, ISBN 3-540-61604-7 BibTeX
@proceedings{DBLP:conf/concur/1996,
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {CONCUR '96, Concurrency Theory, 7th International Conference,
Pisa, Italy, August 26-29, 1996, Proceedings},
booktitle = {CONCUR},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1119},
year = {1996},
isbn = {3-540-61604-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Talk
Process Algebras
Tutorial
Categorical Approaches
The pi-Calculus
Invited Talk
Decidability and Complexity
Tutorial
Probability
Invited Talk
- José Meseguer:
Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report.
331-372 BibTeX
Functional & Constraint Programming
Tutorial
Petri Nets
Verification
Invited Talk
Automata & Cauality
Practical Models
Shared-Memory Systems
Copyright © Sat May 16 23:03:16 2009
by Michael Ley (ley@uni-trier.de)