Skip to content

Realizability of Choreographies Using Process Algebra Encodings.

Gwen Salan, Tevfik Bultan

VenueBIFM
Year2009
ProceedingsIFM

Browse the full IFM paper archive.