dblp.uni-trier.de www.dagstuhl.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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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

Last update Fri May 24 18:40:04 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page