A Session Type System for Asynchronous Unreliable Broadcast Communication

Συγγραφείς: Dimitrios Kouzapas, Ramunas Forsberg Gutkovas, A. Laura Voinea, Simon J. Gay

Πηγή: Logical Methods in Computer Science, Vol 20, Issue 3 (2024)

Θεματικοί όροι: computer science - logic in computer science, computer science - formal languages and automata theory, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: http://lmcs.episciences.org/5567/pdf; https://doaj.org/toc/1860-5974

Σύνδεσμος πρόσβασης: https://doaj.org/article/17643064ff6f4b5eafecea8442918b74

A model of actors and grey failures

Συγγραφείς: Laura Bocchi, Julien Lange, Simon Thompson, A. Laura Voinea

Πηγή: Logical Methods in Computer Science, Vol 19, Issue 4 (2023)

Θεματικοί όροι: computer science - formal languages and automata theory, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

Relation: https://lmcs.episciences.org/10238/pdf; https://doaj.org/toc/1860-5974

Σύνδεσμος πρόσβασης: https://doaj.org/article/88d897bd45574091bd5d70f01b84f34d

Mixed Choice in Asynchronous Multiparty Session Types

Συγγραφείς: Laura Bocchi, Raymond Hu, Adriana Laura Voinea, Simon Thompson

Πηγή: Proceedings of the ACM on Programming Languages. 10:1542-1569

Θεματικοί όροι: Software Engineering (cs.SE), FOS: Computer and information sciences, Formal Languages and Automata Theory (cs.FL), Software Engineering, Programming Languages, Distributed, Parallel, and Cluster Computing, Distributed, Parallel, and Cluster Computing (cs.DC), Formal Languages and Automata Theory, Multiagent Systems, Multiagent Systems (cs.MA), Programming Languages (cs.PL)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2602.23927

Bridging Disciplinary Gaps in Climate Research through Programming Accessibility and Interdisciplinary Collaboration

Συγγραφείς: Cristian Urlea, Ana Denisa Urlea, Wim Vanderbauwhede, Adriana Laura Voinea, Syed Waqar Nabi

Πηγή: Proceedings of the 2nd ACM SIGPLAN International Workshop on Programming for the Planet. :24-30

Typechecking Java Protocols with [St]Mungo

Συγγραφείς: A. Laura Voinea, Ornela Dardha, Simon J. Gay

Θεματικοί όροι: multiparty session types, typestate, [St]Mungo, HTTP protocol

Relation: https://zenodo.org/communities/eu/; https://zenodo.org/records/3956233; oai:zenodo.org:3956233

Διαθεσιμότητα: https://doi.org/10.1007/978-3-030-50086-3_12
https://zenodo.org/records/3956233

Resource Sharing via Capability-Based Multiparty Session Types

Συγγραφείς: A. Laura Voinea, Ornela Dardha, Simon J. Gay

Θεματικοί όροι: session types, sharing, concurrent programming

Relation: https://dblp.uni-trier.de/rec/bibtex/conf/ifm/VoineaDG19; http://www.dcs.gla.ac.uk/~ornela/publications/VDG19.pdf; https://zenodo.org/communities/eu/; https://zenodo.org/records/3661263; oai:zenodo.org:3661263

Διαθεσιμότητα: https://doi.org/10.1007/978-3-030-34968-4_24
https://zenodo.org/records/3661263

A Theory of Protocol Composition

Συγγραφείς: Laura Bocchi, Dominic Orchard, Adriana Laura Voinea

Πηγή: CoRR.