M. Ben-Ari

Principles of the Spin model checker

2008

Ada for software engineers

1998

Mathematical logic for computer science

1993

Principles of concurrent and distributed programming

1990

Processus concurrents

Processus concurrents

1986

Principles of concurrent programming

1982