P. Baldan, F. Bonchi, F. Gadducci, and V. Giacoma, Monreale Verifiable Decisions in Autonomous Concurrent Systems, p.17

M. Carbone, O. Dardha, and .. , and Fabrizio Montesi Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms, p.65