| http://www.w3.org/ns/prov#value | - For this reason, I???m not necessarily expecting the pi-calculus or other process calculi to have a semantics that falls neatly into one of the frameworks that???s proved so successful for dealing with mathematical structures like sets or groups.
|
