First Page | Document Content | |
---|---|---|
Date: 2015-12-14 10:04:28 | 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 ListSource URL: spiral.imperial.ac.ukDownload Document from Source WebsiteFile Size: 237,38 KBShare Document on Facebook |