A Formal Approach to the Engineering of Domain-Specific Distributed Systems.

Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese, Francesco Tiezzi

Browse the full Coordination paper archive.