W3C home > Mailing lists > Public > public-ws-chor@w3.org > April 2003

reading material

From: Steve Ross-Talbot <steve@enigmatec.net>
Date: Tue, 29 Apr 2003 11:29:01 +0100
To: public-ws-chor@w3.org
Message-Id: <64D68CD8-7A2D-11D7-A70F-000393AD2AA6@enigmatec.net>

heavy stuff for sure but thought I ought to send it in regardless.

Kobayshi's papers on deadlock free, livelock free and time boundedness 
in processes using pi and linear types.

	http://www.kb.cs.titech.ac.jp/~kobayasi/papers/pi-tutorial-type.ps.gz
	 http://www.kb.cs.titech.ac.jp/~kobayasi

Yoshida's papers on similar things (with Honda who did async pi)

	http://www.doc.ic.ac.uk/~yoshida/paper-ic.html#TYPES

 From a formal perspective what we need to understand is what 
restrictions have been placed on pi by Yoshida and by Kobayashi in 
order to get freedom from livelock and deadlock and to ensure time 
boundedness. Not something I can do right now but I am on the case.


Lucian Wischik's papers on pi/fusion and web services (most of you have 
this stuff from Lucian already)

	http://www.wischik.com/lu/research/choreography.html
	http://www.wischik.com/lu/research/
	

Happy reading ....

Steve T

This email is confidential and may be protected by legal privilege. If you are not the intended recipient,  please do not copy or disclose its content but  delete the email and contact the sender immediately. Whilst we run antivirus software on all internet emails we are not liable for any loss or damage. The recipient is advised to run their own antivirus software.
Received on Tuesday, 29 April 2003 06:29:38 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:00:58 UTC