Boudol, Gérard; Castellani, Ilaria; Hennessy, Matthew; Nielsen, Mogens; Winskel, Glynn Twenty years on: Reflections on the CEDISYS project. Combining true concurrency with process algebra. (English) Zbl 1143.68475 Degano, Pierpaolo (ed.) et al., Concurrency, graphs and models. Essays dedicated to Ugo Montanari on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-540-68676-7/pbk). Lecture Notes in Computer Science 5065, 757-777 (2008). MSC: 68Q85 PDFBibTeX XMLCite \textit{G. Boudol} et al., Lect. Notes Comput. Sci. 5065, 757--777 (2008; Zbl 1143.68475) Full Text: DOI
Jurdziński, Marcin; Nielsen, Mogens; Srba, Jiří Undecidability of domino games and hhp-bisimilarity. (English) Zbl 1054.68094 Inf. Comput. 184, No. 2, 343-368 (2003). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. Jurdziński} et al., Inf. Comput. 184, No. 2, 343--368 (2003; Zbl 1054.68094) Full Text: DOI
Nielsen, Mogens; Winskel, Glynn Petri nets and bisimulation. (English) Zbl 0872.68129 Theor. Comput. Sci. 153, No. 1-2, 211-244 (1996). MSC: 68Q85 68Q10 68Q55 PDFBibTeX XMLCite \textit{M. Nielsen} and \textit{G. Winskel}, Theor. Comput. Sci. 153, No. 1--2, 211--244 (1996; Zbl 0872.68129) Full Text: DOI
Sunesen, Kim; Nielsen, Mogens Behavioural equivalence for infinite systems – partially decidable! (English) Zbl 1418.68154 Billington, Jonathan (ed.) et al., Application and theory of Petri nets 1996. 17th international conference, Osaka, Japan, June 24–28, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1091, 460-479 (1996). MSC: 68Q85 PDFBibTeX XMLCite \textit{K. Sunesen} and \textit{M. Nielsen}, Lect. Notes Comput. Sci. 1091, 460--479 (1996; Zbl 1418.68154) Full Text: DOI
Nielsen, Mogens; Clausen, Christian Bisimulation, games, and logic. (English) Zbl 07796002 Karhumäki, Juliani (ed.) et al., Results and trends in theoretical computer science. Colloquium in honor of Arto Salomaa, Graz, Austria, June 10–11, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 812, 289-306 (1994). MSC: 68Q85 03B70 91A80 PDFBibTeX XMLCite \textit{M. Nielsen} and \textit{C. Clausen}, Lect. Notes Comput. Sci. 812, 289--306 (1994; Zbl 07796002) Full Text: DOI