Autonomous Agents and Multi-Agent Systems · 2010 · 49 citations · 32 references
ComputingContract LawContractsFormal MethodsContract ManagementDeductive VerificationContract CompositionService Composition PatternsService Contracts
32
E. M. Clarke, Orna Grümberg, D. Long · 1996 · 6.9K citations
Mathematical Social Sciences · 1994 · 3.6K citations
Alternating-time temporal logic
Rajeev Alur, Thomas A. Henzinger, Orna Kupferman · Journal of the ACM · 2002 · 1.4K citations
Analysis of interacting BPEL web services
Xiang Fu, Tevfik Bultan, Jianwen Su · 2004 · 627 citations
Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz et al. · Artificial Intelligence · 2003 · 457 citations