Travelled to:1 × Portugal
2 × United Kingdom
Collaborated with:∅ D.Gorla E.Tuosto A.Knapp E.Sibilio I.Talamo A.Tiberi
Talks about:graph (2) configur (1) network (1) bisimul (1) axiomat (1) ambient (1) theori (1) rewrit (1) memori (1) applic (1)
Person: Pietro Cenciarelli
DBLP: Cenciarelli:Pietro
Contributed to:
2008
2007
2005
2002Wrote 4 papers:
- ICGT-2008-CenciarelliGT #bisimulation #graph #network
- Network Applications of Graph Bisimulation (PC, DG, ET), pp. 131–146.
- ESOP-2007-CenciarelliKS #axiom #java #memory management
- The Java Memory Model: Operationally, Denotationally, Axiomatically (PC, AK, ES), pp. 331–346.
- WRLA-2004-CenciarelliTT05 #graph grammar
- Ambient Graph Rewriting (PC, IT, AT), pp. 335–351.
- CSL-2002-Cenciarelli
- Configuration Theories (PC), pp. 200–215.