F. Nielson, H. Nielson, and P. Vasilikos. Models, Algorithms, Logics and Tools, volume 10460 of Lecture Notes in Computer Science, page 3-21. Springer, (2017)
F. Nielson, and H. Nielson. Models, Languages, and Tools for Concurrent and Distributed Programming, volume 11665 of Lecture Notes in Computer Science, page 455-470. Springer, (2019)
T. Tolstrup, F. Nielson, and R. Hansen. Formal Aspects in Security and Trust, volume 4691 of Lecture Notes in Computer Science, page 185-201. Springer, (2006)
F. Weyers, R. Seiger, and B. Weber. Business Process Management Workshops, volume 460 of Lecture Notes in Business Information Processing, page 76-88. Springer, (2022)