Gutsfeld Jens Oliver, Müller-Olm Markus, Ohrem Christoph (2021) In: ((Bitte Journal prüfen)), 5(POPL), 1-29. doi:10.1145/3434319 Forschungsartikel (Zeitschrift) | Peer reviewed | Veröffentlicht | |
Gutsfeld Jens, Müller-Olm Markus, Ohrem Christoph
(2020) In: Konnov Igor, Kovács Laura (Hrsg.), 31st International Conference on Concurrency Theory. Dagstuhl Publishing. doi:10.4230/LIPIcs.CONCUR.2020.50 Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht |