Polyvyanyy, Artem; La Rosa, Marcello; Ouyang, Chun; ter Hofstede, Arthur H. M. Untanglings: a novel approach to analyzing concurrent systems. (English) Zbl 1347.68272 Formal Asp. Comput. 27, No. 5-6, 753-788 (2015). MSC: 68Q85 PDFBibTeX XMLCite \textit{A. Polyvyanyy} et al., Formal Asp. Comput. 27, No. 5--6, 753--788 (2015; Zbl 1347.68272) Full Text: DOI Link
Polyvyanyy, Artem; Weidlich, Matthias; Conforti, Raffaele; La Rosa, Marcello; ter Hofstede, Arthur H. M. The 4C spectrum of fundamental behavioral relations for concurrent systems. (English) Zbl 1393.68123 Ciardo, Gianfranco (ed.) et al., Application and theory of Petri nets and concurrency. 35th international conference, PETRI NETS 2014, Tunis, Tunisia, June 23–27, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-07733-8/pbk). Lecture Notes in Computer Science 8489, 210-232 (2014). MSC: 68Q85 PDFBibTeX XMLCite \textit{A. Polyvyanyy} et al., Lect. Notes Comput. Sci. 8489, 210--232 (2014; Zbl 1393.68123) Full Text: DOI Link