#### Howdy, Stranger!

It looks like you're new here. If you want to get involved, click one of these buttons!

Options

# Process calculus

edited January 2016

I started a page

after noticing the Microsoft has a 'stochastic pi machine', and Luca Cardelli has been using the 'stochastic pi calculus' in biology.

I encourage all of you to create pages on the wiki and add information to them, instead of posting information here on the forum, where it gets lost in the long run. The forum is for talking, the wiki is for collecting information and references - and writing blog articles and other articles!

• Options
1.
edited January 2016

The following seem relevant to the Pi-Calculus Biology connection as well as some of the discussion of Graph Transformations:

Comment Source:The following seem relevant to the Pi-Calculus Biology connection as well as some of the discussion of Graph Transformations: * Pathway Logic: [http://pl.csl.sri.com/](http://pl.csl.sri.com/). It is based on modelling biological pathways in Maude, an implementation of Reflective Rewriting Logic. Maude &amp; RRL were developed by Jose Meseguer &amp; his group. * Greg Meredith's paper &quot;Knots as Processes&quot;: [http://arxiv.org/abs/1009.2107](http://arxiv.org/abs/1009.2107 ) and his Biosimilarity blog [http://biosimilarity.blogspot.com/](http://biosimilarity.blogspot.com/)
• Options
2.

Daniel - I edited your post so the links are clickable. Click 'edit' to see how; the main trick is to enable Markdown+ITeX.

Comment Source:Daniel - I edited your post so the links are clickable. Click 'edit' to see how; the main trick is to enable Markdown+ITeX.
• Options
3.

The material on pathway logic looks interesting, but I haven't found the paper that explains the formalism!

Comment Source:The material on pathway logic looks interesting, but I haven't found the paper that explains the formalism!
• Options
4.

The underlying formalism is the Maude language http://maude.cs.uiuc.edu/, which is based on Reflective Rewrite Logic. There is a lot of documentation & literature on it. The main people behind it are Jose Meseguer & Manuel Clavel.

Comment Source:The underlying formalism is the Maude language [http://maude.cs.uiuc.edu/](http://maude.cs.uiuc.edu/), which is based on Reflective Rewrite Logic. There is a lot of documentation & literature on it. The main people behind it are Jose Meseguer & Manuel Clavel.
• Options
5.

David Mahler mentioned:

Greg Meredith’s paper "Knots as Processes": http://arxiv.org/abs/1009.2107 and his Biosimilarity blog http://biosimilarity.blogspot.com/

By the way, my student Mike Stay quit working for Google and is now working for Greg Meredith's company. He's going to use the pi calculus to help deal with big biological databases. (I don't know how, yet - he's been busy moving to a new town!)

I renamed our Pi calculus page: now it's

which is more general. The old page name still works, thanks to the automatic redirect system.

Comment Source:David Mahler mentioned: > Greg Meredith’s paper "Knots as Processes": http://arxiv.org/abs/1009.2107 and his Biosimilarity blog http://biosimilarity.blogspot.com/ By the way, my student Mike Stay quit working for Google and is now working for Greg Meredith's company. He's going to use the pi calculus to help deal with big biological databases. (I don't know how, yet - he's been busy moving to a new town!) I renamed our Pi calculus page: now it's * [[Process calculus]] which is more general. The old page name still works, thanks to the automatic redirect system.
• Options
6.
edited April 2013

And Jose Meseguer has been the co-author with Vladimiro Sassone of a host of papers on Petri nets since the early 1990s.

Comment Source:And Jose Meseguer has been the co-author with Vladimiro Sassone of a host of [papers on Petri nets](http://www.ecs.soton.ac.uk/people/vs/publications) since the early 1990s.