Verifying the Conformance of Agents with Multiparty Protocols.

Laura Giordano, Alberto Martelli

Browse the full ECAI paper archive.