Din, Crystal Chang ; Hähnle, Reiner ; Johnsen, Einar Broch ; Pun, Ka I. ; Tarifa, Silvia Lizeth Tapia
Hrsg.: Schmidt, Renate A. ; Nalon, Claudia (2017)
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages.
Automated Reasoning with Analytic Tableaux and Related Methods - 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings.
doi: 10.1007/978-3-319-66902-1_2
Konferenzveröffentlichung, Bibliographie