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
ter Beek, Maurice H.; Gnesi, Stefania; Latella, Diego; Massink, Mieke; Sebastianis, Maurizio; Trentanni, Gianluca Assisting the design of a groupware system - Model checking usability aspects of thinkteam. (English) Zbl 1183.68363 J. Log. Algebr. Program. 78, No. 4, 191-232 (2009). MSC: 68Q60 03B44 68N30 68Q10 68Q85 PDFBibTeX XMLCite \textit{M. H. ter Beek} et al., J. Log. Algebr. Program. 78, No. 4, 191--232 (2009; Zbl 1183.68363) Full Text: DOI
De Nicola, Rocco; Katoen, Joost-Pieter; Latella, Diego; Loreti, Michele; Massink, Mieke Model checking mobile stochastic logic. (English) Zbl 1159.68478 Theor. Comput. Sci. 382, No. 1, 42-70 (2007). MSC: 68Q60 PDFBibTeX XMLCite \textit{R. De Nicola} et al., Theor. Comput. Sci. 382, No. 1, 42--70 (2007; Zbl 1159.68478) Full Text: DOI