[Lecture Notes in Computer Science] Coordination Models and Languages Volume 11533 (21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings) || Verification of Concurrent Design Patterns with Data
Riis Nielson, Hanne, Tuosto, EmilioVolume:
10.1007/97
Année:
2019
DOI:
10.1007/978-3-030-22397-7_10
Fichier:
PDF, 684 KB
2019