W3C home > Mailing lists > Public > public-prov-wg@w3.org > July 2011

Formal semantics notes

From: James Cheney <jcheney@inf.ed.ac.uk>
Date: Thu, 21 Jul 2011 15:46:29 +0100
Message-Id: <1AD7297B-497E-4E04-AEEB-CDC0A8D88C79@inf.ed.ac.uk>
To: W3C provenance WG <public-prov-wg@w3.org>
Hi,

Here:

http://homepages.inf.ed.ac.uk/jcheney/pilformalsemantics.pdf

are some slides I plan to use to structure today's brief discussion  
about the "formal semantics" (optional) deliverable during today's  
meeting.

--James

-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
Received on Thursday, 21 July 2011 14:46:56 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 26 April 2012 13:06:37 GMT