| http://www.w3.org/ns/prov#value | - Basically, as soon as you have any form of higher-order state -- like objects -- essentially all the difficulties involved in concurrent programming are now present. (This is why thinking about objects as little computers that exchange messages is a really good idea, IMO.) I think there is probably some mileage in exploiting some of the work on concurrency, like session types and deterministic para
|
