BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × South Africa
1 × USA
Collaborated with:
G.Zavattaro I.Lanese F.Montesi M.Bravetti R.Lucchi
Talks about:
choreographi (2) interact (1) support (1) process (1) languag (1) commerc (1) between (1) system (1) orient (1) formal (1)

Person: Claudio Guidi

DBLP DBLP: Guidi:Claudio

Contributed to:

SEFM 20082008
SAC 20052005

Wrote 2 papers:

SEFM-2008-LaneseGMZ
Bridging the Gap between Interaction- and Process-Oriented Choreographies (IL, CG, FM, GZ), pp. 323–332.
SAC-2005-BravettiGLZ #e-commerce #formal method
Supporting e-commerce systems formalization with choreography languages (MB, CG, RL, GZ), pp. 831–835.
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.