TU Darmstadt / ULB / TUbiblio

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages

Din, Crystal Chang and Hähnle, Reiner and Johnsen, Einar Broch and Pun, Ka I. and Tarifa, Silvia Lizeth Tapia
Schmidt, Renate A. and Nalon, Claudia (eds.) (2017):
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages.
Springer, In: Automated Reasoning with Analytic Tableaux and Related Methods - 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings, In: Lecture Notes in Computer Science, DOI: 10.1007/978-3-319-66902-1₂, [Online-Edition: https://doi.org/10.1007/978-3-319-66902-1_2],
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2017
Editors: Schmidt, Renate A. and Nalon, Claudia
Creators: Din, Crystal Chang and Hähnle, Reiner and Johnsen, Einar Broch and Pun, Ka I. and Tarifa, Silvia Lizeth Tapia
Title: Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
Language: English
Series Name: Lecture Notes in Computer Science
Volume: 10501
Publisher: Springer
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Software Engineering
Event Title: Automated Reasoning with Analytic Tableaux and Related Methods - 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings
Date Deposited: 27 Apr 2018 09:59
DOI: 10.1007/978-3-319-66902-1₂
Official URL: https://doi.org/10.1007/978-3-319-66902-1_2
Export:

Optionen (nur für Redakteure)

View Item View Item