Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes.

Hugues Evrard, Frdric Lang

Browse the full PDP paper archive.