An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols.

Felix Stutz, Emanuele D'Osualdo

Browse the full ESOP paper archive.