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]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page