dblp.uni-trier.dewww.uni-trier.de

Christopher D. Walton

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
7EEChristopher D. Walton: Verifiable agent dialogues. J. Applied Logic 5(2): 197-213 (2007)
2006
6EEMaría Adela Grando, Christopher D. Walton: The MAPa language of agent dialogues. AAMAS 2006: 1375-1377
5EEMaría Adela Grando, Christopher D. Walton: Specifying Protocols for Knowledge Transfer and Action Restriction in Multiagent Systems. CIA 2006: 431-445
2005
4EEChristopher D. Walton: Typed Protocols for Peer-to-Peer Service Composition. P2PKM 2005
2004
3EEChristopher D. Walton: Multi-Agent Dialogue Protocols. AMAI 2004
2EEChristopher D. Walton: Model Checking Agent Dialogues. DALT 2004: 132-147
1999
1 Christopher D. Walton: An Abstract Machine for Memory Management. Scottish Functional Programming Workshop 1999: 89-97

Coauthor Index

1María Adela Grando [5] [6]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)