Hywel R. Dunn-Davies

	2009
5		Hywel R. Dunn-Davies, Jim Cunningham: Verifying realizability and reachability in recursive interaction protocol specifications. AAMAS (2) 2009: 1233-1234
	2008
4		Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally: Synchronization protocols for reliable communication in fully distributed agent systems. AAMAS (3) 2008: 1539-1542
	2007
3		Hywel R. Dunn-Davies, Jim Cunningham: Deriving agent-centred representations of protocols described using propositional statecharts. AAMAS 2007: 32
	2006
2		Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally: Modularity and Composition in Propositional Statecharts. Diagrams 2006: 98-103
	2005
1		Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally: Propositional Statecharts for Agent Interaction Protocols. Electr. Notes Theor. Comput. Sci. 134: 55-75 (2005)

Coauthor Index

1	Jim Cunningham (R. James Cunningham)	[1] [2] [3] [4] [5]
2	Shamimabi Paurobally	[1] [2] [4]