The Citing articles tool gives a list of articles citing the current article. The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).
Nicolas Bedon and Chloé Rispal Lecture Notes in Computer Science, Mathematical Foundations of Computer Science 2007 4708 477 (2007) https://doi.org/10.1007/978-3-540-74456-6_43
CCS with Hennessy's merge has no finite-equational axiomatization
Stephen L. Bloom and Zoltán Ésik Lecture Notes in Computer Science, LATIN 2000: Theoretical Informatics 1776 367 (2000) https://doi.org/10.1007/10719839_36
Foundations of Software Technology and Theoretical Computer Science
Zoltán Ésik and Satoshi Okawa Lecture Notes in Computer Science, Foundations of Software Technology and Theoretical Computer Science 1738 316 (1999) https://doi.org/10.1007/3-540-46691-6_25
There is no complete axiom system for shuffle expressions