@Article{balzer_et_al:DagRep.14.1.108, author = {Balzer, Stephanie and Carbone, Marco and Kuhn, Roland and Thiemann, Peter}, title = {{Next Generation Protocols for Heterogeneous Systems (Dagstuhl Seminar 24051)}}, pages = {108--129}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2024}, volume = {14}, number = {1}, editor = {Balzer, Stephanie and Carbone, Marco and Kuhn, Roland and Thiemann, Peter}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.1.108}, URN = {urn:nbn:de:0030-drops-204930}, doi = {10.4230/DagRep.14.1.108}, annote = {Keywords: behavioural types, concurrency, programming languages, session types} }