Deciding choreography realizability - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Samik Basu, Tevfik Bultan, Meriem Ouederni. Deciding choreography realizability. In John Field, Michael Hicks, editors, Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012. pages 191-202, ACM, 2012. [doi]

The following publications are possibly variants of this publication:

Incremental Construction of Realizable ChoreographiesSarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur, Atif Mashkoor. NFM 2018: 1-19 [doi]

Realizability of Choreographies Using Process Algebra EncodingsGwen Salaün, Tevfik Bultan. IFM 2009: 167-182 [doi]

Realizability of Choreographies Using Process Algebra EncodingsGwen Salaün, Tevfik Bultan, Nima Roohi. tsc, 5(3):290-304, 2012. [doi]

runs on WebDSL