DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation.

Hugues Evrard

Browse the full TACAS paper archive.