Ripon, Shamim H.; Butler, Michael J. PVS embedding of cCSP semantic models and their relationship. (English) Zbl 1335.68129 Miller, Alice (ed.) et al., Proceedings of the 8th international workshop on automated verification of critical systems (AVoCS 2008), Glasgow, UK, September 30 – October 1, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 250, No. 2, 103-118 (2009). MSC: 68Q55 68Q60 68Q85 PDFBibTeX XMLCite \textit{S. H. Ripon} and \textit{M. J. Butler}, Electron. Notes Theor. Comput. Sci. 250, No. 2, 103--118 (2009; Zbl 1335.68129) Full Text: DOI
Verdejo, Alberto; Martí-Oliet, Narciso Two case studies of semantics execution in Maude: CCS and LOTOS. (English) Zbl 1086.68552 Form. Methods Syst. Des. 27, No. 1-2, 113-172 (2005). MSC: 68Q42 68Q55 68Q60 68Q85 03B70 PDFBibTeX XMLCite \textit{A. Verdejo} and \textit{N. Martí-Oliet}, Form. Methods Syst. Des. 27, No. 1--2, 113--172 (2005; Zbl 1086.68552) Full Text: DOI