Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms.

Sung-Shik T. Q. Jongmans, Sean Halle, Farhad Arbab

Browse the full Coordination paper archive.