Hüttel, Hans Using session types for reasoning about boundedness in the \(\pi\)-calculus. (English) Zbl 1477.68180 Acta Inf. 57, No. 6, 801-827 (2020). MSC: 68Q85 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Baranov, Eduard; Bliudze, Simon Expressiveness of component-based frameworks: a study of the expressiveness of BIP. (English) Zbl 1477.68174 Acta Inf. 57, No. 6, 761-800 (2020). MSC: 68Q85 68Q55 × Cite Format Result Cite Review PDF Full Text: DOI HAL
Peters, Kirstin (ed.); Tini, Simone (ed.) Preface to special issue: EXPRESS/SOS 2016 + 2017. (English) Zbl 1477.68025 Acta Inf. 57, No. 6, 759-760 (2020). MSC: 68-06 00B25 × Cite Format Result Cite Review PDF Full Text: DOI