A Logical Interpretation of Asynchronous Multiparty Compatibility

Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

OriginalsprogEngelsk
TitelA Logical Interpretation of Asynchronous Multiparty Compatibility
Vol/bind14330
ForlagSpringer, Cham
Publikationsdato16 okt. 2023
ISBN (Trykt)978-3-031-45783-8
ISBN (Elektronisk)978-3-031-45784-5
DOI
StatusUdgivet - 16 okt. 2023
NavnLecture Notes in Computer Science
Vol/bind14330
ISSN0302-9743

Citationsformater