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.
In: Lecture Notes in Computer Science, 10501, Springer, In: Automated Reasoning with Analytic Tableaux and Related Methods - 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings, pp. 22-43, 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:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item