- From: Assaf Arkin <arkin@intalio.com>
- Date: Tue, 18 Feb 2003 10:44:35 -0800
- To: "Steve Ross-Talbot" <steve@enigmatec.net>, "Howard N Smith" <howard.smith@ontology.org>
- Cc: <public-ws-chor@w3.org>
Steve, Excellent reading list. There are two sources that I found interesting for those with less experience with formal methods. One is called join-calculus. Join-calculus is a higher-level process calculus that extends pi-calculus with the join pattern. Join-calculus is interesting since it describes a language rather than symbolic notation and also includes some interesting examples for handling states (variables, objects, buffers). It's a good way to learn process calculus tricks which are not apparent when reading pi-calculus and mind bending to figure out any other way. The other one discusses extensions to Petri net to support mobile and dynamic (reconfigurable) Petri nets. It addes mobility, replication and abstraction to Petri net, making it equal in expressive power to process calculus. igh-Level Petri Nets as Type Theories in the Join Calculus Grazia Buscemi, Maria and Sassone, Vladimiro, Universita di Catania, 2001 http://tosca.dmi.unict.it/tosca/html/tasks/CalcoliOggetti/papers.xml Mobile Petri Nets Asperti, Andrea and Busi, Nadia, University of Bolonga, 1996 ftp://ftp.cs.unibo.it/pub/techreports/96-10.ps.gz arkin > -----Original Message----- > From: public-ws-chor-request@w3.org > [mailto:public-ws-chor-request@w3.org]On Behalf Of Steve Ross-Talbot > Sent: Tuesday, February 18, 2003 12:49 AM > To: Howard N Smith > Cc: public-ws-chor@w3.org > Subject: Re: pi-calculus and BPM > > > > Howard, > > a good start. I would also suggest that you include Robin's acceptance > speech at Bolgna University and possible references to the work of > Lucian Wischik who did the work on Fusion which underpins much of what > Greg Meredith is up to these days and is highly related to the entire > space- uri's enclosed below: > > http://www.wischik.com/lu/research/fusions.html > http://www.cs.unibo.it/~gorrieri/icalp97/Lauree_milner.html > > Both Martin Chapman and I (along with our very good friends at W3C) are > constructing a reading list. Some of what is featured in you page is > already on that list and the list will be circulated shortly. > > Cheers and good hunting. > > Steve T > > > On Monday, February 17, 2003, at 04:35 PM, Howard N Smith wrote: > > > > > All, > > > > I have assembled some background on pi-calculus at: > > > > www.fairdene.com/picalculus/ > > > > My thanks to Robin Milner for his lectures. > > > > Howard > > > > > > --- > > > > New Book - Business Process Management: The Third Wave > > www.bpm3.com > > > > Howard Smith/CSC/BPMI.org > > cell +44 7711 594 494 (worldwide) > > office +44 20 8660 1963 > >
Received on Tuesday, 18 February 2003 13:46:18 UTC