3rd CONCUR 1992: Stony Brook, NY, USA

Refine list

showing all ?? records

Invited Lecture

Semantics I

Proof Techniques

Modular Analysis

True Concurrency

Decision Problems

Invited Talk

Temporal Logic I

Temporal Logic II

Invited Talk

True Concurrency

True Concurrency III

Invited Talk

Automata

Applications

Invited Talk

Real-Time

Probabilistic Processes

Trace Semantics

Synchronisation

Semantics II

a service of  Schloss Dagstuhl - Leibniz Center for Informatics