Confluence of the Chinese Monoid

Jörg Endrullis, Jan Willem Klop. Confluence of the Chinese Monoid. In Mário S. Alvim, Kostas Chatzikokolakis 0001, Carlos Olarte, Frank Valencia, editors, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Volume 11760 of Lecture Notes in Computer Science, pages 206-220, Springer, 2019. [doi]

Abstract

Abstract is missing.