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
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 DBLP: Bocchi:Laura

Contributed to:

ESOP 20142014
FASE 20082008
SAC 20052005
FASE 20042004
ESOP 20192019

Wrote 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.

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.