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 × France
Collaborated with:
V.Koutavas M.Hennessy
Talks about:
transact (1) communic (1) bisimul (1)

Person: Carlo Spaccasassi

DBLP DBLP: Spaccasassi:Carlo

Contributed to:

FoSSaCS 20142014

Wrote 1 papers:

FoSSaCS-2014-KoutavasSH #bisimulation #communication #transaction
Bisimulations for Communicating Transactions — (VK, CS, MH), pp. 320–334.

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.