7th CONCUR 1996: Pisa, Italy

Refine list

showing all ?? records

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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics