An Example of Specification and Verification in Cesar. - Jean-Claude Fernandez; Jean-Philippe Schwartz; Joseph Sifakis (The Analysis of Concurrent Systems, 1983)

QUASAR : une réalisation du système CESAR ; description, spécification et analyse des applications réparties. - Jean-Philippe Schwartz (1983)