Alberto Lluch Lafuente

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.

The visualiser is based on adr, graphviz and maude.

I just finished a preliminary version of a very simple visualiser of finite pi-calculus agents and delivered it under http://www.albertolluch.com/adr2graphs/

The underlaying techinque is described in a draft (http://www.albertolluch.com/papers/adr.caspis.pdf), where you find the credits to the original encoding by Fabio Gadducci and its rephrasing in our approach.

The visualiser is based on adr, graphviz and maude.