Assistant Professor @ IMT Lucca

Posts Tagged ‘research’

IMT Welcome Day 2010

Wednesday, April 7th, 2010

My short talk at IMT Welcome Day 2010 about my research and teaching activities is available as pdf.

caspis2graphs, da2graphs: yet more simple visualiser

Tuesday, November 25th, 2008

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

Friday, November 14th, 2008

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.