Bigraphical reactive systems

[Robin Milner <Robin.Milner@xxxxxxxxxxxx>]

A few two weeks ago I announced a paper 

      Bigraphical reactive systems: basic theory.

I've now revised it, in response to some rapid comments, notably by
Tony Hoare and Ole Jensen who asked respectively for examples and for
counterexamples.  So it has grown in length (by four pages) and -I hope- 
in credibility. It's available in .ps.gz and .pdf format at

    http://www.cl.cam.ac.uk/~rm135/bigraphs.ps.gz
    http://www.cl.cam.ac.uk/~rm135/bigraphs.pdf

-- and will also be Computer Laboratory Technical Report No. 523 (thus 
inhibiting further revision by me!)
  
Robin Milner

  
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
The "models for mobility" mailing list     mailto:moca@xxxxxxxxxxxxxxx
 http://www-sop.inria.fr/mimosa/personnel/Davide.Sangiorgi/moca.html