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: Murgia:Maurizio
Contributed to:
2014
2019Wrote 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.