Relating Message Passing and Shared Memory, Proof-Theoretically
F. Pfenning, and 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, page 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
year
2023
number
13908
pages
3-27
publisher
Springer
series
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.
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}
