Kesner, Delia; Peyrot, Loïc; Ventura, Daniel Node replication: theory and practice. (English) Zbl 07814913 Log. Methods Comput. Sci. 20, No. 1, Paper No. 5, 65 p. (2024). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{D. Kesner} et al., Log. Methods Comput. Sci. 20, No. 1, Paper No. 5, 65 p. (2024; Zbl 07814913) Full Text: DOI arXiv
Kokke, Wen; Dardha, Ornela Prioritise the best variation. (English) Zbl 07789000 Log. Methods Comput. Sci. 19, No. 4, Paper No. 28, 47 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{W. Kokke} and \textit{O. Dardha}, Log. Methods Comput. Sci. 19, No. 4, Paper No. 28, 47 p. (2023; Zbl 07789000) Full Text: DOI arXiv
Peters, Kirstin; Nestmann, Uwe; Wagner, Christoph FTMPST: fault-tolerant multiparty session types. (English) Zbl 07788986 Log. Methods Comput. Sci. 19, No. 4, Paper No. 14, 39 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{K. Peters} et al., Log. Methods Comput. Sci. 19, No. 4, Paper No. 14, 39 p. (2023; Zbl 07788986) Full Text: DOI arXiv
Bocchi, Laura; Lange, Julien; Thompson, Simon; Voinea, A. Laura A model of actors and grey failures. (English) Zbl 07788985 Log. Methods Comput. Sci. 19, No. 4, Paper No. 13, 29 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{L. Bocchi} et al., Log. Methods Comput. Sci. 19, No. 4, Paper No. 13, 29 p. (2023; Zbl 07788985) Full Text: DOI arXiv
Paulus, Joseph W. N.; Nantes-Sobrinho, Daniele; Pérez, Jorge A. Non-deterministic functions as non-deterministic processes. (English) Zbl 07753361 Log. Methods Comput. Sci. 19, No. 4, Paper No. 1, 120 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{J. W. N. Paulus} et al., Log. Methods Comput. Sci. 19, No. 4, Paper No. 1, 120 p. (2023; Zbl 07753361) Full Text: DOI arXiv
Barbanera, Franco; Lanese, Ivan; Tuosto, Emilio A theory of formal choreographic languages. (English) Zbl 07731937 Log. Methods Comput. Sci. 19, No. 3, Paper No. 9, 36 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{F. Barbanera} et al., Log. Methods Comput. Sci. 19, No. 3, Paper No. 9, 36 p. (2023; Zbl 07731937) Full Text: DOI arXiv
Balabonski, Thibaut; Lanco, Antoine; Melquiond, Guillaume A strong call-by-need calculus. (English) Zbl 07731910 Log. Methods Comput. Sci. 19, No. 1, Paper No. 21, 39 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{T. Balabonski} et al., Log. Methods Comput. Sci. 19, No. 1, Paper No. 21, 39 p. (2023; Zbl 07731910) Full Text: DOI arXiv
Dagnino, Francesco; Giannini, Paola; Dezani-Ciancaglini, Mariangiola Deconfined global types for asynchronous sessions. (English) Zbl 07667093 Log. Methods Comput. Sci. 19, No. 1, Paper No. 3, 41 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{F. Dagnino} et al., Log. Methods Comput. Sci. 19, No. 1, Paper No. 3, 41 p. (2023; Zbl 07667093) Full Text: DOI arXiv
Polonsky, Andrew; Statman, Richard On sets of terms having a given intersection type. (English) Zbl 07596583 Log. Methods Comput. Sci. 18, No. 3, Paper No. 35, 23 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{A. Polonsky} and \textit{R. Statman}, Log. Methods Comput. Sci. 18, No. 3, Paper No. 35, 23 p. (2022; Zbl 07596583) Full Text: DOI arXiv
Antares Mezzina, Claudio; Pérez, Jorge A. Causal consistency for reversible multiparty protocols. (English) Zbl 07471661 Log. Methods Comput. Sci. 17, No. 4, Paper No. 1, 41 p. (2021). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{C. Antares Mezzina} and \textit{J. A. Pérez}, Log. Methods Comput. Sci. 17, No. 4, Paper No. 1, 41 p. (2021; Zbl 07471661) Full Text: arXiv Link
de Vries, Fer-Jan Encoding many-valued logic in \(\lambda\)-calculus. (English) Zbl 07379296 Log. Methods Comput. Sci. 17, No. 2, Paper No. 25, 16 p. (2021). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{F.-J. de Vries}, Log. Methods Comput. Sci. 17, No. 2, Paper No. 25, 16 p. (2021; Zbl 07379296) Full Text: DOI arXiv
Bravetti, Mario; Carbone, Marco; Lange, Julien; Yoshida, Nobuko; Zavattaro, Gianluigi A sound algorithm for asynchronous session subtyping and its implementation. (English) Zbl 1509.68184 Log. Methods Comput. Sci. 17, No. 1, Paper No. 20, 35 p. (2021). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. Bravetti} et al., Log. Methods Comput. Sci. 17, No. 1, Paper No. 20, 35 p. (2021; Zbl 1509.68184) Full Text: arXiv Link
Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona Solvability = typability + inhabitation. (English) Zbl 1509.03056 Log. Methods Comput. Sci. 17, No. 1, Paper No. 7, 27 p. (2021). MSC: 03B40 PDFBibTeX XMLCite \textit{A. Bucciarelli} et al., Log. Methods Comput. Sci. 17, No. 1, Paper No. 7, 27 p. (2021; Zbl 1509.03056) Full Text: arXiv Link
Corradini, Flavio; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Tiezzi, Francesco Collaboration vs. choreography conformance in BPMN. (English) Zbl 07269254 Log. Methods Comput. Sci. 16, No. 4, Paper No. 7, 37 p. (2020). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{F. Corradini} et al., Log. Methods Comput. Sci. 16, No. 4, Paper No. 7, 37 p. (2020; Zbl 07269254) Full Text: arXiv Link
Bocchi, Laura; Melgratti, Hernan; Tuosto, Emilio On resolving non-determinism in choreographies. (English) Zbl 07269246 Log. Methods Comput. Sci. 16, No. 3, Paper No. 18, 69 p. (2020). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{L. Bocchi} et al., Log. Methods Comput. Sci. 16, No. 3, Paper No. 18, 69 p. (2020; Zbl 07269246) Full Text: arXiv Link
Barendregt, Henk P. Gems of Corrado Böhm. (English) Zbl 07243677 Log. Methods Comput. Sci. 16, No. 3, Paper No. 15, 28 p. (2020). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{H. P. Barendregt}, Log. Methods Comput. Sci. 16, No. 3, Paper No. 15, 28 p. (2020; Zbl 07243677) Full Text: arXiv Link
Basile, Davide; ter Beek, Maurice H.; Pugliese, Rosario Synthesis of orchestrations and choreographies: bridging the gap between supervisory control and coordination of services. (English) Zbl 1528.68173 Log. Methods Comput. Sci. 16, No. 2, Paper No. 9, 29 p. (2020). MSC: 68Q45 68Q60 68Q85 93C65 PDFBibTeX XMLCite \textit{D. Basile} et al., Log. Methods Comput. Sci. 16, No. 2, Paper No. 9, 29 p. (2020; Zbl 1528.68173) Full Text: arXiv Link
Castagna, Giuseppe Covariance and controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers). (English) Zbl 1528.68059 Log. Methods Comput. Sci. 16, No. 1, Paper No. 15, 58 p. (2020). MSC: 68N18 68N15 68N19 68Q55 PDFBibTeX XMLCite \textit{G. Castagna}, Log. Methods Comput. Sci. 16, No. 1, Paper No. 15, 58 p. (2020; Zbl 1528.68059) Full Text: arXiv
Kesner, Delia; Vial, Pierre Non-idempotent types for classical calculi in natural deduction style. (English) Zbl 1528.03127 Log. Methods Comput. Sci. 16, No. 1, Paper No. 3, 46 p. (2020). MSC: 03B40 PDFBibTeX XMLCite \textit{D. Kesner} and \textit{P. Vial}, Log. Methods Comput. Sci. 16, No. 1, Paper No. 3, 46 p. (2020; Zbl 1528.03127) Full Text: arXiv
Intrigila, Benedetto; Manzonetto, Giulio; Polonsky, Andrew Degrees of extensionality in the theory of Böhm trees and Sallé’s conjecture. (English) Zbl 1515.03066 Log. Methods Comput. Sci. 15, No. 1, Paper No. 6, 36 p. (2019). MSC: 03B40 PDFBibTeX XMLCite \textit{B. Intrigila} et al., Log. Methods Comput. Sci. 15, No. 1, Paper No. 6, 36 p. (2019; Zbl 1515.03066) Full Text: arXiv
Mostrous, Dimitris; Vasconcelos, Vasco Thudichum Affine sessions. (English) Zbl 1407.68338 Log. Methods Comput. Sci. 14, No. 4, Paper No. 14, 21 p. (2018). MSC: 68Q85 03B70 PDFBibTeX XMLCite \textit{D. Mostrous} and \textit{V. T. Vasconcelos}, Log. Methods Comput. Sci. 14, No. 4, Paper No. 14, 21 p. (2018; Zbl 1407.68338) Full Text: DOI arXiv
Sangiorgi, Davide; Xu, Xian Trees from functions as processes. (English) Zbl 1511.68186 Log. Methods Comput. Sci. 14, No. 3, Paper No. 11, 41 p. (2018). MSC: 68Q85 03B40 68N18 PDFBibTeX XMLCite \textit{D. Sangiorgi} and \textit{X. Xu}, Log. Methods Comput. Sci. 14, No. 3, Paper No. 11, 41 p. (2018; Zbl 1511.68186) Full Text: DOI arXiv
Bettini, Lorenzo; Bono, Viviana; Dezani-Ciancaglini, Mariangiola; Giannini, Paola; Venneri, Betti Java & lambda: a featherweight story. (English) Zbl 1398.68079 Log. Methods Comput. Sci. 14, No. 3, Paper No. 17, 24 p. (2018). MSC: 68N15 68N18 68N19 PDFBibTeX XMLCite \textit{L. Bettini} et al., Log. Methods Comput. Sci. 14, No. 3, Paper No. 17, 24 p. (2018; Zbl 1398.68079) Full Text: DOI arXiv
Breuvart, Flavien; Manzonetto, Giulio; Ruoppolo, Domenico Relational graph models at work. (English) Zbl 1448.68207 Log. Methods Comput. Sci. 14, No. 3, Paper No. 2, 43 p. (2018). MSC: 68N18 03B40 PDFBibTeX XMLCite \textit{F. Breuvart} et al., Log. Methods Comput. Sci. 14, No. 3, Paper No. 2, 43 p. (2018; Zbl 1448.68207) Full Text: DOI arXiv
Bucciarelli, Antonio; Kesner, Delia; Ronchi Della Rocca, Simona Inhabitation for non-idempotent intersection types. (English) Zbl 1448.68208 Log. Methods Comput. Sci. 14, No. 3, Paper No. 7, 28 p. (2018). MSC: 68N18 03B40 PDFBibTeX XMLCite \textit{A. Bucciarelli} et al., Log. Methods Comput. Sci. 14, No. 3, Paper No. 7, 28 p. (2018; Zbl 1448.68208) Full Text: DOI arXiv
Salvati, Sylvain; Walukiewicz, Igor Typing weak MSOL properties. (English) Zbl 1448.68316 Log. Methods Comput. Sci. 13, No. 1, Paper No. 14, 27 p. (2017). MSC: 68Q60 03B16 68N18 PDFBibTeX XMLCite \textit{S. Salvati} and \textit{I. Walukiewicz}, Log. Methods Comput. Sci. 13, No. 1, Paper No. 14, 27 p. (2017; Zbl 1448.68316) Full Text: DOI arXiv
Preda, Mila Dalla; Gabbrielli, Maurizio; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo Dynamic choreographies: theory and implementation. (English) Zbl 1398.68088 Log. Methods Comput. Sci. 13, No. 2, Paper No. 1, 57 p. (2017). MSC: 68N19 PDFBibTeX XMLCite \textit{M. D. Preda} et al., Log. Methods Comput. Sci. 13, No. 2, Paper No. 1, 57 p. (2017; Zbl 1398.68088) Full Text: DOI arXiv
Bartoletti, Massimo; Scalas, Alceste; Tuosto, Emilio; Zunino, Roberto Honesty by typing. (English) Zbl 1448.68327 Log. Methods Comput. Sci. 12, No. 4, Paper No. 7, 58 p. (2016). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{M. Bartoletti} et al., Log. Methods Comput. Sci. 12, No. 4, Paper No. 7, 58 p. (2016; Zbl 1448.68327) Full Text: DOI arXiv