Choreography synthesis as contract agreement

Julien Lange, Alceste Scalas

Research output: Contribution to journalConference articlepeer-review

Original languageEnglish
Pages (from-to)52-67
Number of pages16
JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
Publication statusPublished - 15 Oct 2013
Event6th Interaction and Concurrency Experience, ICE 2013 - Florence, Italy
Duration: 6 Jun 2013 → …

Cite this