Artikel

Din, Crystal Chang ; Dovland, Johan ; Johnsen, Einar Broch ; Owe, Olaf (2012)
Observable behavior of distributed systems: Component reasoning for concurrent objects.
In: Journal of Logic and Algebraic Programming, 81 (3)
doi: 10.1016/j.jlap.2012.01.003
Artikel, Bibliographie

Konferenzveröffentlichung

Din, Crystal Chang ; Dovland, Johan ; Owe, Olaf
Hrsg.: Eleftherakis, George ; Hinchey, Mike ; Holcombe, Mike (2012)
Compositional Reasoning about Shared Futures.
doi: 10.1007/978-3-642-33826-7_7
Konferenzveröffentlichung, Bibliographie