Specification and Verification of Agent Interaction Protocols.

Bo Chen, Samira Sadaoui

Browse the full SEKE paper archive.