The hierarchical decomposition of programs into smaller ones is generally considered imperative to master the complexity of large programs. The impact of this p

This Festschrift volume, published in honor of Willem-Paul de Roever, contains 19 detailed papers written by the friends and colleagues of the honoree, all emin

An advanced 2001 textbook on verification of concurrent programs using a semantic approach which highlights concepts clearly.