Declarative Choreographies and Liveness

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningfagfællebedømt

OriginalsprogEngelsk
TitelFORTE 2019: Formal Techniques for Distributed Objects, Components, and Systems
Vol/bind11535
ForlagSpringer
Publikationsdato29 maj 2019
ISBN (Trykt)978-3-030-21758-7
ISBN (Elektronisk)978-3-030-21759-4
DOI
StatusUdgivet - 29 maj 2019

ID: 276160843