| |
| 2007 | ||
|---|---|---|
| 7 | EE | Christopher D. Walton: Verifiable agent dialogues. J. Applied Logic 5(2): 197-213 (2007) |
| 2006 | ||
| 6 | EE | María Adela Grando, Christopher D. Walton: The MAPa language of agent dialogues. AAMAS 2006: 1375-1377 |
| 5 | EE | María Adela Grando, Christopher D. Walton: Specifying Protocols for Knowledge Transfer and Action Restriction in Multiagent Systems. CIA 2006: 431-445 |
| 2005 | ||
| 4 | EE | Christopher D. Walton: Typed Protocols for Peer-to-Peer Service Composition. P2PKM 2005 |
| 2004 | ||
| 3 | EE | Christopher D. Walton: Multi-Agent Dialogue Protocols. AMAI 2004 |
| 2 | EE | Christopher 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 | |
| 1 | María Adela Grando | [5] [6] |