ECOOP Workshop 1991: Object-Based Concurrent Computing

Formal Methods (1)

Formal Methods (2)

Concurrent Programming

Models

Panel

maintained by Schloss Dagstuhl LZI at University of Trier