Langshaw: Declarative Interaction Protocols Based on Sayso and Conflict

Munindar P. Singh, Samuel H. Christie, Amit K. Chopra

Current languages for specifying multiagent protocols either over-constrain protocol enactments or complicate capturing their meanings. We propose Langshaw, a declarative protocol…