Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina A general theory of barbs, contexts, and labels. (English) Zbl 1354.68189 ACM Trans. Comput. Log. 15, No. 4, Article No. 35, 27 p. (2014). MSC: 68Q85 68Q55 68Q60 PDFBibTeX XMLCite \textit{F. Bonchi} et al., ACM Trans. Comput. Log. 15, No. 4, Article No. 35, 27 p. (2014; Zbl 1354.68189) Full Text: DOI
Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma Valentina Labelled transitions for mobile ambients (as synthesized via a graphical encoding). (English) Zbl 1291.68281 Hildebrandt, Thomas (ed.) et al., Proceedings of the 15th international workshop on expressiveness in concurrency (EXPRESS 2008), Toronto, Canada, August 23, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 242, No. 1, 73-98 (2009). MSC: 68Q85 68R10 PDFBibTeX XMLCite \textit{F. Bonchi} et al., Electron. Notes Theor. Comput. Sci. 242, No. 1, 73--98 (2009; Zbl 1291.68281) Full Text: DOI