Christopher D. Walton

Publication Activity (10 Years)

Years Active: 1999-2009
Publications (10 Years): 0

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Adam Barker, Christopher D. Walton, David Robertson
Choreographing Web Services. IEEE Trans. Serv. Comput. 2 (2) (2009)
Christopher D. Walton
Verifiable agent dialogues. J. Appl. Log. 5 (2) (2007)
María Adela Grando, Christopher D. Walton
Specifying Protocols for Knowledge Transfer and Action Restriction in Multiagent Systems. CIA (2006)
María Adela Grando, Christopher D. Walton
language of agent dialogues. AAMAS (2006)
María Adela Grando, Christopher D. Walton
: a Language for Modelling Conversations in Agent Environments. Intelligent Information Systems (2006)
Christopher D. Walton
Typed Protocols for Peer-to-Peer Service Composition. P2PKM (2005)
Christopher D. Walton
Protocols for Web Service Invocation. AAAI Fall Symposium: Agents and the Semantic Web (2005)
Christopher D. Walton
Model Checking Agent Dialogues. DALT (2004)
Christopher D. Walton
Multi-Agent Dialogue Protocols. AI&M (2004)
Christopher D. Walton
An Abstract Machine for Memory Management. Scottish Functional Programming Workshop (1999)