A multi formalisms prototyping approach from formal description to implementation of distributed systems.

Alioune Diagne, Fabrice Kordon

Browse the full RSP paper archive.