A Formal Semantics for Gaia Liveness Rules and Expressions Tim Miller and Peter McBurney∗ Department of Computer Science, University of Liverpool, Liverpool, L69 7ZF, UK {tim, p.j.mcburney - Tim Miller - Document - PDFSEARCH.IO

First Page	Meta Content
	A Formal Semantics for Gaia Liveness Rules and Expressions Tim Miller and Peter McBurney∗ Department of Computer Science, University of Liverpool, Liverpool, L69 7ZF, UK {tim, p.j.mcburney}@csc.liv.ac.uk Add to Reading List Document Date: 2014-07-24 21:25:10 Open Document File Size: 325,95 KB Share Result on Facebook

A Formal Semantics for Gaia Liveness Rules and Expressions Tim Miller and Peter McBurney∗ Department of Computer Science, University of Liverpool, Liverpool, L69 7ZF, UK {tim, p.j.mcburney}@csc.liv.ac.ukAdd to Reading List