VerificationofSequentialandConcurrentPrograms

This widely anticipated third edition provides a systematic exploration of one of the most common...

Formal Methods for Components and Objects

Formal methods have been applied successfully to the verification of medium-sized programs in pro...

Formal Methods for Components and Objects

Formal methods have been applied successfully to the verification of medium-sized programs in pro...

Verification of Sequential and Concurrent Programs

Formal Methods for Components and Objects

InhaltsangabeCausality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling.- Ma...

Verification of Sequential and Concurrent Programs

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional metho...

FM 2015: Formal Methods

This book constitutes the refereed proceedings of the 20th International Symposium on Formal Meth...

Formal Methods for Components and Objects

InhaltsangabeThe ASCENS Project.- ASCENS: Engineering Autonomic Service-Component Ensembles.- A L...

Formal Methods for Components and Objects

Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to ...

Theoretical Computer Science

This book constitutes the refereed proceedings of the 7th FIP WG 2.2 International Conference, TC...

Formal Methods for Components and Objects

This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components a...

It’s All About Coordination

This Festschrift volume has been published to celebrate the lifelong scientific achievements of F...