Nikola Benes, Jan Kretínský. Process Algebra for Modal Transition Systemses. In Ludek Matyska, Michal Kozubek, Tomás Vojnar, Pavel Zemcík, David Antos, editors, Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010, Selected Papers, October 22-24, 2010, Mikulov, Czech Republic. Volume 16 of OASICS, pages 9-18, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2010. [doi]
Abstract is missing.