Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehr

Concurrent Programming, Open Systems and Formal Methods: Essays Dedicated to Gul

Formal Methods in Software and Systems Modeling : Essays Dedicate

Concurrent Programming, Open Systems and Formal Methods: Essays Dedicated to Gul

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Rei

Formal Modeling: Actors; Open Systems, Biological Systems: Essays Dedicated to C

Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of