Choreography synthesis as contract agreement. / Lange, Julien; Scalas, Alceste.

In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Vol. 131, 15.10.2013, p. 52-67.

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 → …
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 39129519