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]

Authors

Hywel R. Dunn-Davies

This author has not been identified. Look up 'Hywel R. Dunn-Davies' in Google

Jim Cunningham

This author has not been identified. Look up 'Jim Cunningham' in Google

Shamimabi Paurobally

This author has not been identified. Look up 'Shamimabi Paurobally' in Google