Propositional Statecharts for Agent Interaction Protocols

Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally. Propositional Statecharts for Agent Interaction Protocols. Electronic Notes in Theoretical Computer Science, 134:55-75, 2005. [doi]

Abstract

Abstract is missing.