-
1Academic Journal
Authors: Kuhn, Roland, Melgratti, Hernán, Tuosto, Emilio
Contributors: Roland Kuhn and Hernán Melgratti and Emilio Tuosto, de León, Hernán Ponce, Winter, Stefan
Source: 37th European Conference on Object-Oriented Programming (ECOOP 2023)
Subject Terms: local-first software, Software and its engineering → Distributed programming languages, Software and its engineering → Distributed systems organizing principles, publish-subscribe, Theory of computation → Distributed computing models, Distributed coordination, behavioural types, ddc:004, asynchronous communication
File Description: application/pdf
-
2Academic Journal
Contributors: Julian Haas and Ragnar Mogk and Elena Yanakieva and Annette Bieniusa and Mira Mezini
Subject Terms: Software and its engineering → Consistency, Invariants, Theory of computation → Program specifications, Computer systems organization → Peer-to-peer architectures, Software and its engineering → Distributed programming languages, Software and its engineering → Data flow languages, Automated Verification, Software and its engineering → Formal software verification, Reactive Programming, Local-First Software, Consistency, ddc:004, Theory of computation → Pre- and post-conditions
File Description: application/pdf
-
3Academic Journal
Authors: Giallorenzo, Saverio, Montesi, Fabrizio, Peressotti, Marco, Richter, David, Salvaneschi, Guido, Weisenburger, Pascal
Contributors: Giallorenzo, Saverio, Saverio Giallorenzo and Fabrizio Montesi and Marco Peressotti and David Richter and Guido Salvaneschi and Pascal Weisenburger, Møller, Anders, Sridharan, Manu
Source: Giallorenzo, S, Montesi, F, Peressotti, M, Richter, D, Salvaneschi, G & Weisenburger, P 2021, Multiparty Languages : The Choreographic and Multitier Cases . in A Møller & M Sridharan (eds), 35th European Conference on Object-Oriented Programming (ECOOP 2021) . vol. 194, 22, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Leibniz International Proceedings in Informatics (LIPIcs), pp. 22:1-22:27, European Conference on Object-Oriented Programming, 11/07/2021 . https://doi.org/10.4230/LIPIcs.ECOOP.2021.22
Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, Distributed Programming, Choreography Programming, Multitier Programming, computer science, 02 engineering and technology, Distributed Programming, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Software and its engineering → Distributed programming languages, Choreography Programming, Software and its engineering → Multiparadigm languages, Multitier Programming, 0202 electrical engineering, electronic engineering, information engineering, Choreographies, Multitier Languages, ddc:004, Software and its engineering → Concurrent programming languages, Programming Languages (cs.PL)
File Description: application/pdf; text
Access URL: http://arxiv.org/abs/2105.06291
https://inria.hal.science/hal-03337915v1
https://doi.org/10.4230/lipics.ecoop.2021.23
https://inria.hal.science/hal-03337915v1/document
https://dblp.uni-trier.de/db/conf/ecoop/ecoop2021.html#GiallorenzoMPRS21
https://drops.dagstuhl.de/opus/volltexte/2021/14065/pdf/LIPIcs-ECOOP-2021-22.pdf/
https://drops.dagstuhl.de/opus/volltexte/2021/14065/
https://hal.inria.fr/hal-03337915
https://cris.unibo.it/handle/11585/830888
https://doi.org/10.4230/LIPIcs.ECOOP.2021.22
https://dblp.uni-trier.de/db/journals/corr/corr2105.html#abs-2105-06291
https://ui.adsabs.harvard.edu/abs/2021arXiv210506291B/abstract
https://arxiv.org/abs/2105.06291
https://arxiv.org/pdf/2105.06291
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2021.22
https://findresearcher.sdu.dk:8443/ws/files/184441097/LIPIcs_ECOOP_2021_22.pdf
https://portal.findresearcher.sdu.dk/da/publications/eaf4d11c-8f3f-4fef-808c-145038a26874
https://doi.org/10.4230/LIPIcs.ECOOP.2021.22
https://drops.dagstuhl.de/opus/volltexte/2021/14065/
https://doi.org/10.4230/lipics.ecoop.2021.22
https://hdl.handle.net/11585/830888
http://www.alexandria.unisg.ch/267230/