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:
M.Bartoletti A.Scalas R.Zunino L.Bocchi V.T.Vasconcelos N.Yoshida
Talks about:
time (2) asynchron (1) contract (1) session (1) process (1) dualiti (1) verifi (1) system (1) sensit (1) orient (1)

Person: Maurizio Murgia

DBLP DBLP: Murgia:Maurizio

Contributed to:

WRLA 20142014
ESOP 20192019

Wrote 2 papers:

WRLA-2014-BartolettiMSZ #maude #modelling #verification
Modelling and Verifying Contract-Oriented Systems in Maude (MB, MM, AS, RZ), pp. 130–146.
ESOP-2019-BocchiMVY #process
Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes (LB, MM, VTV, NY), pp. 583–610.

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.