Willem-Paul de Roever

Formal methods for components and objects

2011

Compositionality : the Signifi

Compositionality : the Significant Difference

2003

Concurrency verification

2001

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

1989