VerificationofSequentialandConcurrentPrograms

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

Principles of Constraint Programming

Constraints are everywhere: most computational problems can be described in terms of restrictions...

Verification of Sequential and Concurrent Programs

Recent Advances in Constraints

Constraint programming is the fruit of several decades of research carried out in mathematical lo...

Verification of Sequential and Concurrent Programs

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

Logics and Models of Concurrent Systems

The cooperation test [Apt, Francez & de Roever] was originally conceived to capture the proof the...

The Logic Programming Paradigm

InhaltsangabeI. Computing and Programming.- 1 Concurrent and Agent Programming.- Logic Programmin...

Programmverifikation

Inhaltsangabe1 Einführung.- 1.1 Beispiel eines parallelen Programmes.- Lösung 1.- Lösung 2.- Lösu...