Alberto Lluch Lafuente

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.

Tags: graphs, process algebra, research, term rewriting

This entry was posted on Friday, November 14th, 2008 at 6:29 pm and is filed under research. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.