Travelled to:1 × France
1 × Hungary
1 × Spain
1 × USA
Collaborated with:∅ H.C.Melgratti E.Tuosto S.Gorton S.Reiff-Marganiec M.Murgia V.T.Vasconcelos N.Yoshida P.Ciancarini R.Moretti V.Presutti D.Rossi
Talks about:process (2) servic (2) time (2) choreographi (1) asynchron (1) transact (1) determin (1) composit (1) approach (1) session (1)
Person: Laura Bocchi
DBLP: Bocchi:Laura
Contributed to:
2014
2008
200520042019Wrote 5 papers:
- ESOP-2014-BocchiMT #nondeterminism
- Resolving Non-determinism in Choreographies (LB, HCM, ET), pp. 493–512.
- FASE-2008-BocchiGR #modelling #process
- Engineering Service Oriented Applications: From StPowla Processes to SRML Models (LB, SG, SRM), pp. 163–178.
- SAC-2005-BocchiCMPR #approach #coordination #grid
- An OWL-S based approach to express grid services coordination (LB, PC, RM, VP, DR), pp. 1661–1667.
- FASE-2004-Bocchi #composition #transaction
- Compositional Nested Long Running Transactions (LB), pp. 194–208.
- ESOP-2019-BocchiMVY #process
- Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes (LB, MM, VTV, NY), pp. 583–610.