On the modeling and analysis of obligations.

Keith Irwin, Ting Yu, William H. Winsborough

Browse the full CCS paper archive.