che-chandler.de

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

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

Software Engineering and Formal Methods

This book constitutes the refereed proceedings of the 18th International Conference on Software E...

It’s All About Coordination

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

Renaissance und Bibelhumanismus

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...

Active Object Languages: Current Research Trends

Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrenc...

COVID-19 - Ein Virus nimmt Einfluss auf unsere Psyche

Theoretical Computer Science

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