Relating Message Passing and Shared Memory, Proof-Theoretically
F. Pfenning, und K. Pruiksma. Coordination Models and Languages : 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings, 13908, Seite 3-27. Cham, Springer, (2023)
DOI: 10.1007/978-3-031-35361-1_1
Coordination Models and Languages : 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings
Jahr
2023
Nummer
13908
Seiten
3-27
Verlag
Springer
Reihe
Lecture Notes in Computer Science
venue
Lisbon, Portugal
isbn
978-3-031-35360-4 and 978-3-031-35361-1
research-areas
Computer Science
language
eng
eventdate
2023-06-19-2023-06-23
eventtitle
International Conference on Coordination Languages and Models (COORDINATION 2023)
affiliation
Pfenning, F (Corresponding Author), Carnegie Mellon Univ, Pittsburgh, PA 15213 USA.
Pfenning, Frank, Carnegie Mellon Univ, Pittsburgh, PA 15213 USA.
Pruiksma, Klaas, Univ Stuttgart, Stuttgart, Germany.
Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 pfenning2023relating
%A Pfenning, Frank
%A Pruiksma, Klaas
%B Coordination Models and Languages : 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings
%C Cham
%D 2023
%E and Jongmans, Sung-Shik
%E Lopes, Antónia
%I Springer
%K
%N 13908
%P 3-27
%R 10.1007/978-3-031-35361-1_1
%T Relating Message Passing and Shared Memory, Proof-Theoretically
%@ 978-3-031-35360-4 and 978-3-031-35361-1
@inproceedings{pfenning2023relating,
added-at = {2025-02-12T09:17:35.000+0100},
address = {Cham},
affiliation = {Pfenning, F (Corresponding Author), Carnegie Mellon Univ, Pittsburgh, PA 15213 USA.
Pfenning, Frank, Carnegie Mellon Univ, Pittsburgh, PA 15213 USA.
Pruiksma, Klaas, Univ Stuttgart, Stuttgart, Germany.},
author = {Pfenning, Frank and Pruiksma, Klaas},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2fb2ef1cd57fcfdc8738853add025d1a4/unibiblio},
booktitle = {Coordination Models and Languages : 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings},
doi = {10.1007/978-3-031-35361-1_1},
editor = {and Jongmans, Sung-Shik and Lopes, Antónia},
eventdate = {2023-06-19-2023-06-23},
eventtitle = {International Conference on Coordination Languages and Models (COORDINATION 2023)},
interhash = {59e0de076e2e65a14f2be2bd5d8e3d8c},
intrahash = {fb2ef1cd57fcfdc8738853add025d1a4},
isbn = {{978-3-031-35360-4} and {978-3-031-35361-1}},
keywords = {},
language = {eng},
number = 13908,
pages = {3-27},
publisher = {Springer},
research-areas = {Computer Science},
series = {Lecture Notes in Computer Science},
timestamp = {2025-02-12T08:17:35.000+0100},
title = {Relating Message Passing and Shared Memory, Proof-Theoretically},
unique-id = {WOS:001288400900001},
venue = {Lisbon, Portugal},
year = 2023
}
