Flexible agent protocols via temporal and resource-based reasoning. - Duc Quang Pham; James Harland (AAMAS, 2006)

Temporal linear logic as a basis for flexible agent interactions. - Duc Quang Pham; James Harland (AAMAS, 2007)

Modeling Agents' Choices in Temporal Linear Logic. - Duc Quang Pham; James Harland; Michael Winikoff (DALT, 2007)