6. CONCUR 1995: Philadelphia, PA, USA

Invited Paper

Model Checking I

Mobile Processes I

Invited Paper

Mobile Processes II

Process Theory

True Concurrency

Invited Paper

Process Algebra I

Probabilistic Automata

Invited Paper

Real-Time Systems I

Testing Semantics

Invited Paper

Decidability Results

Refinement Theory

Invited Paper

Model Checking II

Linear-Time Logics

Invited Paper

Mobile Processes III

Process Algebra II

Real-Time Systems II