Claude Jard, Jean-Marc Jézéquel. A multi-processor Estelle to C compiler to experiment distributed algorithms on parallel machines.
9th IFIP International Workshop on Protocol Specification, Testing and Verification, University of Twente, 1989, The Netherlands, Netherlands.
⟨hal-00765072⟩