PROCOMET 1994: San Miniato, Italy

Refine list

showing all ?? records

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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics