D. Pham

Flexible agent protocols via temporal linear logic

D Pham, D. Pham, 2007 .

Temporal linear logic as a basis for flexible agent interactions

James Harland, Duc Quang Pham, James Harland, 2007, AAMAS '07.

Flexible agent protocols via temporal and resource-based reasoning

James Harland, Duc Quang Pham, James Harland, 2006, AAMAS '06.