Zhang, Wenbo; Xu, Xian; Yin, Qiang; Long, Huan On the interactive power of higher-order processes extended with parameterization. (English) Zbl 1511.68190 Formal Asp. Comput. 33, No. 2, 151-183 (2021). MSC: 68Q85 03B40 PDFBibTeX XMLCite \textit{W. Zhang} et al., Formal Asp. Comput. 33, No. 2, 151--183 (2021; Zbl 1511.68190) Full Text: DOI
Pugliese, Rosario; Tiezzi, Francesco Replacement freeness: a criterion for separating process calculi. (English) Zbl 1462.68126 J. Log. Algebr. Methods Program. 116, Article ID 100579, 32 p. (2020). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Pugliese} and \textit{F. Tiezzi}, J. Log. Algebr. Methods Program. 116, Article ID 100579, 32 p. (2020; Zbl 1462.68126) Full Text: DOI
Fu, Yuxi Theory of interaction. (English) Zbl 1353.68082 Theor. Comput. Sci. 611, 1-49 (2016). MSC: 68Q05 68Q85 PDFBibTeX XMLCite \textit{Y. Fu}, Theor. Comput. Sci. 611, 1--49 (2016; Zbl 1353.68082) Full Text: DOI
He, Chaodong The decidability of the reachability problem for CCS\(^{!}\). (English) Zbl 1343.68169 Katoen, Joost-Pieter (ed.) et al., CONCUR 2011 – concurrency theory. 22nd international conference, CONCUR 2011, Aachen, Germany, September 6–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23216-9/pbk). Lecture Notes in Computer Science 6901, 373-388 (2011). MSC: 68Q85 PDFBibTeX XMLCite \textit{C. He}, Lect. Notes Comput. Sci. 6901, 373--388 (2011; Zbl 1343.68169) Full Text: DOI
Varacca, Daniele; Yoshida, Nobuko Typed event structures and the linear \(\pi \)-calculus. (English) Zbl 1200.68165 Theor. Comput. Sci. 411, No. 19, 1949-1973 (2010). MSC: 68Q85 PDFBibTeX XMLCite \textit{D. Varacca} and \textit{N. Yoshida}, Theor. Comput. Sci. 411, No. 19, 1949--1973 (2010; Zbl 1200.68165) Full Text: DOI
Fu, Yuxi; Lu, Hao On the expressiveness of interaction. (English) Zbl 1191.68436 Theor. Comput. Sci. 411, No. 11-13, 1387-1451 (2010). MSC: 68Q85 PDFBibTeX XMLCite \textit{Y. Fu} and \textit{H. Lu}, Theor. Comput. Sci. 411, No. 11--13, 1387--1451 (2010; Zbl 1191.68436) Full Text: DOI
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
Hüttel, Hans; Srba, Jiří Decidability issues for extended ping-pong protocols. (English) Zbl 1107.68042 J. Autom. Reasoning 36, No. 1-2, 125-147 (2006). MSC: 68P25 03B25 68Q60 68Q85 94A62 PDFBibTeX XMLCite \textit{H. Hüttel} and \textit{J. Srba}, J. Autom. Reasoning 36, No. 1--2, 125--147 (2006; Zbl 1107.68042) Full Text: DOI