BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Cenciarelli:Pietro

Contributed to:

ICGT 20082008
ESOP 20072007
WRLA 20042005
CSL 20022002

Wrote 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.
Configuration Theories (PC), pp. 200–215.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.