ECOOP Workshop 1991: Object-Based Concurrent Computing

Formal Methods (1)

Formal Methods (2)

Concurrent Programming

Models

Panel