caspis2graphs, da2graphs: yet more simple visualiser

albertolluch — Tue, 25 Nov 2008 14:31:02 +0000

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.

pi2graphs: a very simple visualiser of finite pi-calculus agents

albertolluch — Fri, 14 Nov 2008 17:29:16 +0000

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.

Alberto Lluch Lafuente » process algebra

caspis2graphs, da2graphs: yet more simple visualiser

pi2graphs: a very simple visualiser of finite pi-calculus agents