Keywords: Conversation Protocols
[rss]
2018
[1]
Incremental Construction of Realizable Choreographies
(Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur, Atif Mashkoor)
,
In Proceedings of NASA Formal Methods - 10th International Symposium, (NFM 2018), Newport News, USA
, 2018.
[bib]
[pdf]
[doi]
Powered by
bibtexbrowser