Haase, Christoph; Schmitz, Sylvain; Schnoebelen, Philippe The power of priority channel systems. (English) Zbl 1448.68341 Log. Methods Comput. Sci. 10, No. 4, Paper No. 4, 39 p. (2014). MSC: 68Q85 PDF BibTeX XML Cite \textit{C. Haase} et al., Log. Methods Comput. Sci. 10, No. 4, Paper No. 4, 39 p. (2014; Zbl 1448.68341) Full Text: DOI
Haase, Christoph; Schmitz, Sylvain; Schnoebelen, Philippe The power of priority channel systems. (English) Zbl 1390.68471 D’Argenio, Pedro R. (ed.) et al., CONCUR 2013 – concurrency theory. 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27–30, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40183-1/pbk). Lecture Notes in Computer Science 8052, 319-333 (2013). MSC: 68Q85 PDF BibTeX XML Cite \textit{C. Haase} et al., Lect. Notes Comput. Sci. 8052, 319--333 (2013; Zbl 1390.68471) Full Text: DOI