Jump to : Note | Contact | BibTex reference | EndNote reference |

GoesslerSalaun2011

Gregor Gössler, G. Salaün. Realizability of Choreographies for Services Interacting Asynchronously. In FACS (Formal Aspects of Computer Software), LNCS, 2011.

Note on this paper

to appear

BibTex Reference

@InProceedings{GoesslerSalaun2011,
   Author = {Gössler, Gregor and Salaün, G.},
   Title = {Realizability of Choreographies for Services Interacting Asynchronously},
   BookTitle = {FACS (Formal Aspects of Computer Software)},
   Series = {LNCS},
   Publisher = {Springer},
   Year = {2011}
}

EndNote Reference [help]

Get EndNote Reference (.ref)