Declarative Choreographies and Liveness

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Original languageEnglish
Title of host publicationFORTE 2019: Formal Techniques for Distributed Objects, Components, and Systems
Volume11535
PublisherSpringer
Publication date29 May 2019
ISBN (Print)978-3-030-21758-7
ISBN (Electronic)978-3-030-21759-4
DOIs
Publication statusPublished - 29 May 2019

ID: 276160843