|
- Vita, statements, and talk
- Sample papers:
- AAMAS 2008: Commitments for
contract correctness
- SCC 2007: Protocols applied to TWIST foreign exchange processes
- AAAI 2007a: Protocol composition formalized
- AAAI 2007b: Concurrent and complex commitments formalized
- SCC 2006: Accommodating requirement changes
- TSE 2005: Business protocols as design abstractions
|
|