by Hermanns, Holger, Herzog, Ulrich, Katoen, Joost-Pieter
Published in Theoretical computer science (06.03.2002)

by Bergstra, J. A., Ponse, A. (Alban), Smolka, S. A.
Year of Publication 2001

by Aceto, Luca, Fokkink, Wan, Ingolfsdottir, Anna, Luttik, Bas
Published in Processes, Terms and Cycles: Steps on the Road to Infinity (2005)

by Xiaoyue Wu, Hillston, Jane, Cheng Feng
Published in IEEE transactions on systems, man, and cybernetics. Systems (01.12.2017)

by Singer, Robert, Teller, Matthias
Published in S-BPM ONE - Education and Industrial Developments (2012)

by Cerone, Antonio, Zhexenbayeva, Aiym
Published in Software Technologies: Applications and Foundations (2018)

by Aldini, Alessandro, Bernardo, Marco
Published in Reliability engineering & system safety (01.11.2007)

by Huaikou Miao, Shenghong Li
Published in ICMeCG 2009 : 2009 International Conference on Management of e-Commerce and e-Government : proceedings, 16-19 September 2009, Nanchang, China (01.09.2009)

by Sanders, William S., Srivastava, Srishti, Banicescu, Ioana
Published in 2022 21st International Symposium on Parallel and Distributed Computing (ISPDC) (01.07.2022)

by Sanders, William S., Srivastava, Srishti, Banicescu, Ioana
Published in 2020 19th International Symposium on Parallel and Distributed Computing (ISPDC) (01.07.2020)

by Gibson-Robinson, Thomas, Broadfoot, Guy, Carvalho, Gustavo, Hopcroft, Philippa, Lowe, Gavin, Nogueira, Sidney, O’Halloran, Colin, Sampaio, Augusto
Published in Concurrency, Security, and Puzzles (2016)

by Bakhshi, Rana, Gurov, Dilian
Published in Electronic notes in theoretical computer science (27.06.2007)

by Zhu, Rui, Li, Tong, Dai, Fei, Mo, Qi, Lin, Leilei, He, Yun, Chen, Yeting
Published in 2014 International Conference on IT Convergence and Security (ICITCS) (01.10.2014)

by Ramanna, S.
Published in Proceedings of WESCON '94 (1994)

by Stolze, Claude, Miculan, Marino, Di Gianantonio, Pietro
Published in Software and systems modeling (01.04.2023)

by FMOODS, FORTE, Hatcliff, John, Zucca, Elena
Year of Publication 2010

by Dreier, Jannik, Ene, Cristian, Lafourcade, Pascal, Lakhnech, Yassine
Published in Theoretical computer science (25.01.2016)

by Ter Beek, Maurice H., Legay, Axel, Lafuente, Alberto Lluch, Vandin, Andrea
Published in IEEE transactions on software engineering (01.03.2020)

by Corradini, Flavio, Polini, Andrea, Polzonetti, Alberto, Re, Barbara
Published in Information systems management (01.01.2010)

by Lowe, Gavin
Published in Journal of computer security (01.01.2004)