المؤلفون: Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, Giannini, Paola

مصطلحات موضوعية: Computer Science - Logic in Computer Science, 68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), 03B38:Type theory, F.3.2

URL الوصول: http://arxiv.org/abs/2201.00221

المؤلفون: Ilaria Castellani, Paola Giannini, Mariangiola Dezani-Ciancaglini

المساهمون: COMUE Université Côte d'Azur (2015-2019) (COMUE UCA), Secure Diffuse Programming (INDES), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Dipartimento di Informatica [Torino], Università degli studi di Torino (UNITO), Università del Piemonte Orientale - Dipartimento DISIT Italy, INDES, Castellani, Ilaria, Università degli studi di Torino = University of Turin (UNITO), Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese, Springer, European Project: 644235,H2020,H2020-ICT-2014-1,RePhrase(2015), European Project: 644298,H2020,H2020-ICT-2014-1,HyVar(2015)

المصدر: [Research Report] RR-9266, INDES. 2019
Models, Languages, and Tools for Concurrent and Distributed Programming-Hommage to Rocco De Nicola on the Occasion of His 65th Birthday
Models, Languages, and Tools for Concurrent and Distributed Programming-Hommage to Rocco De Nicola on the Occasion of His 65th Birthday, Michele Boreale; Flavio Corradini; Michele Loreti; Rosario Pugliese, Jul 2019, Lucca, Italy. pp.340-363, ⟨10.1007/978-3-030-21485-2_19⟩
Models, Languages, and Tools for Concurrent and Distributed Programming ISBN: 9783030214845
Models, Languages, and Tools for Concurrent and Distributed Programming
Journal of Logical and Algebraic Methods in Programming
Journal of Logical and Algebraic Methods in Programming, 2023, 131, ⟨10.1016/j.jlamp.2022.100844⟩

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Theoretical computer science, Logic, Semantics (computer science), Computer science, Concurrency, Multiparty session types, Session types, 0102 computer and information sciences, 02 engineering and technology, Types globaux, Types de session, 01 natural sciences, Sessions multi-parties, Session (web analytics), Prime (order theory), Theoretical Computer Science, Process calculi, [INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing, 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], Interpretation (logic), Global types, Structures d’événements, Event (computing), [INFO.INFO-IU] Computer Science [cs]/Ubiquitous Computing, 020207 software engineering, Communication-centric systems, Communication-based programming, 16. Peace & justice, 68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), 03B38:Type theory, Event structure, Computational Theory and Mathematics, 010201 computation theory & mathematics, F.3.2, Event structures, Multiparty sessions, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::96015f4a7a2320b69806827cd294dac1
https://hal.inria.fr/hal-02081943/file/RR-9266.pdf

المؤلفون: Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, Giannini, Paola

مصطلحات موضوعية: FOS: Computer and information sciences, 68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), 03B38:Type theory, F.3.2, 16. Peace & justice, Logic in Computer Science (cs.LO)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::5ee129a301de6e3c1bd961aa9bbdc524

مصطلحات الفهرس: Computer Science - Logic in Computer Science, 68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), 03B38:Type theory, F.3.2, text

URL: http://arxiv.org/abs/2201.00221