BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Greece
Collaborated with:
G.Boudol U.Montanari ∅
Talks about:
concurr (2) system (2) noninterfer (1) homomorph (1) distribut (1) abstract (1) transit (1) program (1) partial (1) grammar (1)

Person: Ilaria Castellani

DBLP DBLP: Castellani:Ilaria

Contributed to:

ICALP 20012001
GG 19821982
TAPSOFT, Vol.1: CAAP 19851985
TAPSOFT, Vol.1: CAAP 19871987

Wrote 4 papers:

ICALP-2001-BoudolC #concurrent #source code
Noninterference for Concurrent Programs (GB, IC), pp. 382–395.
GG-1982-CastellaniM #distributed #graph grammar
Graph Grammars for distributed systems (IC, UM), pp. 20–38.
CAAP-1985-Castellani #abstraction #bisimulation #morphism
Bisimulations and Abstraction Homomorphisms (IC), pp. 223–238.
CAAP-1987-BoudolC #concurrent #on the #partial order #semantics
On the Semantics of Concurrency: Partial Orders and Transition Systems (GB, IC), pp. 123–137.
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.