-
1
Modal Logics for Nominal Transition Systems
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
2
-
3
-
4
A Session Type System for Asynchronous Unreliable Broadcast Communication
Veröffentlicht in arXiv.org
VolltextArtikel -
5