7. CONCUR 1996: Pisa, Italy

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