- From: Steve Ross-Talbot <steve@enigmatec.net>
- Date: Tue, 29 Apr 2003 11:29:01 +0100
- To: public-ws-chor@w3.org
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