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.

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 List Source URL: spiral.imperial.ac.uk Download Document from Source Website File Size: 237,38 KB Share Document on Facebook