Concurrency verification : introduction to compositional and noncompositional methods /

Autor Roever, W.-P. de, 1943-
Vydáno 2001

Data refinement : model-oriented proof methods and their comparison /

Autor Roever, W.-P. de, 1943-, Engelhardt, Kai
Vydáno 1998

A decade of concurrency : reflections and perspectives : REX school/symposium, Noordwijkerhout, the Netherlands, June 1-4, 1993 : proceedings /

Vydáno 1994

Linear time, branching time and prartial order in logics and models for concurrency : School/Workshop, Noordiwijkehout, The Netherlands, May 30-June 3, 1988 /

Vydáno 1989

Semantics : foundations and applications : REX workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings /

Vydáno 1993