This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 313 - What is our formal underpinning?
Summary: What is our formal underpinning?
Status: RESOLVED FIXED
Alias: None
Product: WS Choreography
Classification: Unclassified
Component: Spec (show other bugs)
Version: unspecified
Hardware: Other other
: P2 normal
Target Milestone: --
Assignee: Martin Chapman
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2003-08-27 15:35 UTC by Martin Chapman
Modified: 2004-03-04 13:18 UTC (History)
0 users

See Also:

Attachments

Description Martin Chapman 2003-08-27 15:35:38 UTC 
pi calculus, event calculus, etc etc

Taken from 6th May telecon:

http://www.w3.org/2002/ws/chor/3/05/06-minutes.html
Comment 1 Martin Chapman 2004-03-04 08:18:36 UTC 
its PI