TU Darmstadt / ULB / TUbiblio

Session-Based Compositional Analysis for Actor-Based Languages Using Futures

Kamburjan, Eduard and Din, Crystal Chang and Chen, Tzu-Chun
Ogata, Kazuhiro and Lawford, Mark and Liu, Shaoying (eds.) (2016):
Session-Based Compositional Analysis for Actor-Based Languages Using Futures.
In: Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings, In: Lecture Notes in Computer Science, 10009, DOI: 10.1007/978-3-319-47846-3₁₉,
[Online-Edition: https://doi.org/10.1007/978-3-319-47846-3_19],
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2016
Editors: Ogata, Kazuhiro and Lawford, Mark and Liu, Shaoying
Creators: Kamburjan, Eduard and Din, Crystal Chang and Chen, Tzu-Chun
Title: Session-Based Compositional Analysis for Actor-Based Languages Using Futures
Language: German
Series Name: Lecture Notes in Computer Science
Volume: 10009
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Event Title: Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
Date Deposited: 27 Apr 2018 09:54
DOI: 10.1007/978-3-319-47846-3₁₉
Official URL: https://doi.org/10.1007/978-3-319-47846-3_19
Export:

Optionen (nur für Redakteure)

View Item View Item