dblp.uni-trier.de www.uni-trier.de

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

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)