Abd Alrahman, Yehia; De Nicola, Rocco; Loreti, Michele A calculus for collective-adaptive systems and its behavioural theory. (English) Zbl 1430.68158 Inf. Comput. 268, Article ID 104457, 31 p. (2019). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{Y. Abd Alrahman} et al., Inf. Comput. 268, Article ID 104457, 31 p. (2019; Zbl 1430.68158) Full Text: DOI
Abd Alrahman, Yehia; De Nicola, Rocco; Loreti, Michele On the power of attribute-based communication. (English) Zbl 1347.68022 Albert, Elvira (ed.) et al., Formal techniques for distributed objects, components, and systems. 36th IFIP WG 6.1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6–9, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-39569-2/pbk; 978-3-319-39570-8/ebook). Lecture Notes in Computer Science 9688, 1-18 (2016). MSC: 68M14 PDFBibTeX XMLCite \textit{Y. Abd Alrahman} et al., Lect. Notes Comput. Sci. 9688, 1--18 (2016; Zbl 1347.68022) Full Text: DOI arXiv
Boreale, Michele; Bruni, Roberto; De Nicola, Rocco; Loreti, Michele CaSPiS: a calculus of sessions, pipelines and services. (English) Zbl 1361.68161 Math. Struct. Comput. Sci. 25, No. 3, 666-709 (2015). MSC: 68Q85 68N30 PDFBibTeX XMLCite \textit{M. Boreale} et al., Math. Struct. Comput. Sci. 25, No. 3, 666--709 (2015; Zbl 1361.68161) Full Text: DOI
De Nicola, Rocco; Latella, Diego; Loreti, Michele; Massink, Mieke MarCaSPiS: a Markovian extension of a calculus for services. (English) Zbl 1339.68157 Hennessy, Matthew (ed.) et al., Proceedings of the 5th workshop on structural operational semantics (SOS 2008), Reykjavik, Iceland, July 6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 4, 11-26 (2009). MSC: 68Q55 60J28 68N30 68Q85 68Q87 PDFBibTeX XMLCite \textit{R. De Nicola} et al., Electron. Notes Theor. Comput. Sci. 229, No. 4, 11--26 (2009; Zbl 1339.68157) Full Text: DOI
De Nicola, Rocco; Loreti, Michele Multiple-labelled transition systems for nominal calculi and their logics. (English) Zbl 1141.68047 Math. Struct. Comput. Sci. 18, No. 1, 107-143 (2008). MSC: 68Q85 03B70 PDFBibTeX XMLCite \textit{R. De Nicola} and \textit{M. Loreti}, Math. Struct. Comput. Sci. 18, No. 1, 107--143 (2008; Zbl 1141.68047) Full Text: DOI