Matache, Cristina; Moss, Sean; Staton, Sam Recursion and sequentiality in categories of sheaves. (English) Zbl 07700630 Kobayashi, Naoki (ed.), 6th international conference on formal structures for computation and deduction, FSCD 2021, Buenos Aires, Argentina, virtual conference, July 17–24, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 195, Article 25, 22 p. (2021). MSC: 68-XX 03B70 68Qxx PDFBibTeX XMLCite \textit{C. Matache} et al., LIPIcs -- Leibniz Int. Proc. Inform. 195, Article 25, 22 p. (2021; Zbl 07700630) Full Text: DOI arXiv
Dal Lago, Ugo; Gavazzo, Francesco Resource transition systems and full abstraction for linear higher-order effectful programs. (English) Zbl 07700628 Kobayashi, Naoki (ed.), 6th international conference on formal structures for computation and deduction, FSCD 2021, Buenos Aires, Argentina, virtual conference, July 17–24, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 195, Article 23, 19 p. (2021). MSC: 68-XX 03B70 68Qxx PDFBibTeX XMLCite \textit{U. Dal Lago} and \textit{F. Gavazzo}, LIPIcs -- Leibniz Int. Proc. Inform. 195, Article 23, 19 p. (2021; Zbl 07700628) Full Text: DOI arXiv
van Glabbeek, Rob Failure trace semantics for a process algebra with time-outs. (English) Zbl 07350777 Log. Methods Comput. Sci. 17, No. 2, Paper No. 11, 40 p. (2021). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{R. van Glabbeek}, Log. Methods Comput. Sci. 17, No. 2, Paper No. 11, 40 p. (2021; Zbl 07350777) Full Text: arXiv Link
Bonchi, Filippo; Piedeleu, Robin; Sobociński, Paweł; Zanasi, Fabio Contextual equivalence for signal flow graphs. (English) Zbl 07250933 Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 77-96 (2020). MSC: 68Nxx 68Qxx PDFBibTeX XMLCite \textit{F. Bonchi} et al., Lect. Notes Comput. Sci. 12077, 77--96 (2020; Zbl 07250933) Full Text: DOI arXiv