5. TAPSOFT 1993: Orsay, France

Invited Survey

Invited Conference

CAAP: Specifications and Proofs

FASE: Case Studies in Formal Design and Development

Invited Conference

Invited Survey

CAAP: Concurrency

FASE: Compositionality, Modules and Development

Invited Conference

CAAP: Automata and Counting

FASE: Formal Development

Invited Survey

CAAP: Constraint Solving

FASE: Foundations and Analysis of Formal Specifications

Invited Survey

CAAP: Rewriting

FASE: Verification of Concurrent Systems

Invited Survey

CAAP: Logic and Trees

FASE: Model Checking

Invited Conference

CAAP-FASE: Type Inference

CAAP: Analysis of Algorithms

FASE: Parallel Calculus