Back to Results
First PageMeta Content



USING THE EVENT CALCULUS FOR TRACKING THE NORMATIVE STATE OF CONTRACTS ANDREW D. H. FARRELL, MAREK J. SERGOT Department of Computing, Imperial College, London. SW7 2AZ. United Kingdom. {andrew.farrell,m.sergot}@imperial.
Add to Reading List

Document Date: 2015-12-14 10:04:28


Open Document

File Size: 237,38 KB

Share Result on Facebook
UPDATE