I just finished the preliminary versions of two very simple visualiser for
- our algebra of hierarchical graphs;
- caspis, a service oriented calculus.
Both are available at http://www.albertolluch.com/adr2graphs/ as companions of the pi-calculus visualiser I posted some days ago.
These are just small steps towards the implementation of the technique described in the draft available at http://www.albertolluch.com/papers/adr.caspis.pdf.
