3. FMOODS 1999: Florence, Italy

Languages

Semantics I

Java and Coordination

Object Composition and Reuse

Telecommunications

Formal Methods

Emerging Standards

Semantics II

Semantics III