caspis2graphs, da2graphs: yet more simple visualiser
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.
Tags: graphs, process algebra, research, term rewriting
