PROCOMET 1994: San Miniato, Italy

Mathematics of Program Derivation

Support of Program Derivation

Design of Concurrent Systems

Process Algebra

Refinement of Concurrent Systems

Compositionality in Concurrency

Semantics of Nondeterminism and Concurrency

Semantics of Programming Languages

Types in Specifications

Program Analysis