Propositional Statecharts for Agent Interaction Protocols. - Hywel R. Dunn-Davies; Jim Cunningham; Shamimabi Paurobally (Euler, 2004)

Modularity and Composition in Propositional Statecharts. - Hywel R. Dunn-Davies; Jim Cunningham; Shamimabi Paurobally (Diagrams, 2006)

Deriving agent-centred representations of protocols described using propositional statecharts. - Hywel R. Dunn-Davies; Jim Cunningham (AAMAS, 2007)

Synchronization protocols for reliable communication in fully distributed agent systems. - Hywel R. Dunn-Davies; Jim Cunningham; Shamimabi Paurobally (AAMAS (3), 2008)

Verifying realizability and reachability in recursive interaction protocol specifications. - Hywel R. Dunn-Davies; Jim Cunningham (AAMAS (2), 2009)

A Diagrammatic Formalism for the Modular Representation of Agent Interaction Protocols. - Hywel R. Dunn-Davies (2009)