المؤلفون: Barbanera, Franco, Dezani-Ciancaglini, Mariangiola

المصدر: EPTCS 383, 2023, pp. 15-34

مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.1.2, F.3.2, F.3.3

الوصول الحر: http://arxiv.org/abs/2308.10653Test

المؤلفون: Barbanera, Franco, Lanese, Ivan, Tuosto, Emilio

المصدر: Logical Methods in Computer Science, Volume 19, Issue 3 (August 2, 2023) lmcs:10165

مصطلحات موضوعية: Computer Science - Logic in Computer Science

الوصول الحر: http://arxiv.org/abs/2210.08223Test

المؤلفون: Barbanera, Franco, Lanese, Ivan, Tuosto, Emilio

المصدر: EPTCS 365, 2022, pp. 53-68

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Programming Languages, D.2.4, F.3.1, D.3.1, D.1.3

الوصول الحر: http://arxiv.org/abs/2208.04634Test

المؤلفون: Barbanera, Franco, Lanese, Ivan, Tuosto, Emilio

مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science

الوصول الحر: http://arxiv.org/abs/2107.06727Test

المؤلفون: Barbanera, Franco, Dezani-Ciancaglini, Mariangiola

المصدر: EPTCS 304, 2019, pp. 77-96

مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.3.1

الوصول الحر: http://arxiv.org/abs/1909.05972Test

المؤلفون: Barbanera, Franco, de'Liguoro, Ugo, Hennicker, Rolf

المصدر: EPTCS 279, 2018, pp. 4-20

مصطلحات موضوعية: Computer Science - Logic in Computer Science

الوصول الحر: http://arxiv.org/abs/1810.02468Test

المؤلفون: Barbanera, Franco, de'Liguoro, Ugo

المصدر: EPTCS 261, 2017, pp. 17-36

مصطلحات موضوعية: Computer Science - Logic in Computer Science

الوصول الحر: http://arxiv.org/abs/1711.11209Test

المؤلفون: Barbanera, Franco, Lanese, Ivan, Tuosto, Emilio

المساهمون: Università degli studi di Catania = University of Catania (Unict), Foundations of Component-based Ubiquitous Systems (FOCUS), 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), Gran Sasso Science Institute (GSSI), European Project: 778233,H2020-EU.1.3.3. - Stimulating innovation by means of cross-fertilisation of knowledge ,778233,BEHAPI(2018)

المصدر: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://inria.hal.science/hal-04343514Test ; Logical Methods in Computer Science, 2023, 19 (3), ⟨10.46298/lmcs-19(3:9)2023⟩

مصطلحات موضوعية: Choreographies, formal languages, message passing, (dead)lock freedom, liveness, [INFO]Computer Science [cs]

العلاقة: info:eu-repo/grantAgreement//778233/EU/Behavioural Application Program Interfaces/BEHAPI; hal-04343514; https://inria.hal.science/hal-04343514Test; https://inria.hal.science/hal-04343514/documentTest; https://inria.hal.science/hal-04343514/file/published.pdfTest

الإتاحة: https://doi.org/10.46298/lmcs-19Test(3:9)2023
https://inria.hal.science/hal-04343514Test
https://inria.hal.science/hal-04343514/documentTest
https://inria.hal.science/hal-04343514/file/published.pdfTest

المؤلفون: Barbanera, Franco, Lanese, Ivan, Tuosto, Emilio

المساهمون: Università degli studi di Catania = University of Catania (Unict), Foundations of Component-based Ubiquitous Systems (FOCUS), 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), Gran Sasso Science Institute (GSSI), European Project: 778233,H2020-EU.1.3.3. - Stimulating innovation by means of cross-fertilisation of knowledge ,778233,BEHAPI(2018)

المصدر: ISSN: 2352-2208 ; Journal of Logical and Algebraic Methods in Programming ; https://inria.hal.science/hal-04343521Test ; Journal of Logical and Algebraic Methods in Programming, 2023, 135, pp.100890. ⟨10.1016/j.jlamp.2023.100890⟩.

مصطلحات موضوعية: Communicating Finite State Machines, Communicating Systems, Automata, Composition of systems, Deadlock freedom, Lock freedom, Synchronous communications, [INFO]Computer Science [cs]

العلاقة: info:eu-repo/grantAgreement//778233/EU/Behavioural Application Program Interfaces/BEHAPI; hal-04343521; https://inria.hal.science/hal-04343521Test; https://inria.hal.science/hal-04343521/documentTest; https://inria.hal.science/hal-04343521/file/main-jlamp22-ice.pdfTest

الإتاحة: https://doi.org/10.1016/j.jlamp.2023.100890Test
https://inria.hal.science/hal-04343521Test
https://inria.hal.science/hal-04343521/documentTest
https://inria.hal.science/hal-04343521/file/main-jlamp22-ice.pdfTest

المؤلفون: van Bakel, Steffen, Barbanera, Franco, de'Liguoro, Ugo

المصدر: Logical Methods in Computer Science, Volume 14, Issue 1 (January 10, 2018) lmcs:4194

مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.4, F.4.1

الوصول الحر: http://arxiv.org/abs/1704.00272Test