Aranda, Jesús; Valencia, Frank D.; Versari, Cristian On the expressive power of restriction and priorities in CCS with replication. (English) Zbl 1234.68284 de Alfaro, Luca (ed.), Foundations of software science and computational structures. 12th international conference, FOSSACS 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00595-4/pbk). Lecture Notes in Computer Science 5504, 242-256 (2009). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. Aranda} et al., Lect. Notes Comput. Sci. 5504, 242--256 (2009; Zbl 1234.68284) Full Text: DOI
Aranda, Jesús; Di Giusto, Cinzia; Palamidessi, Catuscia; Valencia, Frank D. On recursion, replication and scope mechanisms in process calculi. (English) Zbl 1147.68587 de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 5th international symposium, FMCO 2006, Amsterdam, The Netherlands, November 7–10, 2006. Revised lectures. Berlin: Springer (ISBN 978-3-540-74791-8/pbk). Lecture Notes in Computer Science 4709, 185-206 (2007). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. Aranda} et al., Lect. Notes Comput. Sci. 4709, 185--206 (2007; Zbl 1147.68587) Full Text: DOI
Aranda, Jesús; Di Giusto, Cinzia; Nielsen, Mogens; Valencia, Frank D. CCS with replication in the Chomsky hierarchy: The expressive power of divergence. (English) Zbl 1138.68038 Shao, Zhong (ed.), Programming languages and systems. 5th Asian symposium, APLAS 2007, Singapore, November 29–December 1, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-76636-0/pbk). Lecture Notes in Computer Science 4807, 383-398 (2007). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{J. Aranda} et al., Lect. Notes Comput. Sci. 4807, 383--398 (2007; Zbl 1138.68038) Full Text: DOI Link