Parosh Aziz Abdulla C. Aiswarya Mohamed Faouzi Atig 2016 Martin Grohe Eric Koskinen Natarajan Shankar Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016 ACM 166–175 10.1145/2933575.2934535 Parosh Aziz Abdulla Ahmed Bouajjani Bengt Jonsson 1998 Alan J. Hu Moshe Y. Vardi Computer Aided Verification, 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings Lecture Notes in Computer Science 1427 Springer 305–318 10.1007/BFb0028754 C. Aiswarya Paul Gastin K. Narayan Kumar 2014 Franck Cassez Jean-François Raskin Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings Lecture Notes in Computer Science 8837 Springer 1–17 10.1007/978-3-319-11936-6_1 Rajeev Alur Kousha Etessami Mihalis Yannakakis 2003 IEEE Trans. Software Eng. 29 7 623–633 10.1109/TSE.2003.1214326 Rajeev Alur Kousha Etessami Mihalis Yannakakis 2005 Theor. Comput. Sci. 331 1 97–114 10.1016/j.tcs.2004.09.034 Rajeev Alur Mihalis Yannakakis 1999 Jos C. M. Baeten Sjouke Mauw CONCUR '99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings Lecture Notes in Computer Science 1664 Springer 114–129 10.1007/3-540-48320-9_10 Franco Barbanera Ivan Lanese Emilio Tuosto 2020 Simon Bliudze Laura Bocchi Coordination Models and Languages - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings Lecture Notes in Computer Science 12134 Springer 86–106 10.1007/978-3-030-50029-0_6 Hanêne Ben-Abdallah Stefan Leue 1997 Ed Brinksma Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997, Proceedings Lecture Notes in Computer Science 1217 Springer 259–274 10.1007/BFb0035393 Bernard Boigelot Patrice Godefroid Bernard Willems Pierre Wolper 1997 Pascal Van Hentenryck Static Analysis, 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings Lecture Notes in Computer Science 1302 Springer 172–186 10.1007/BFb0032741 Benedikt Bollig Alain Finkel Amrita Suresh 2020 Igor Konnov Laura Kovács 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference) LIPIcs 171 Schloss Dagstuhl - Leibniz-Zentrum für Informatik 49:1–49:17 10.4230/LIPIcs.CONCUR.2020.49 Benedikt Bollig Paul Gastin 2019 CoRR abs/1904.06942 10.48550/arXiv.1904.06942 1904.06942 Benedikt Bollig Cinzia Di Giusto Alain Finkel Laetitia Laversa Étienne Lozes Amrita Suresh 2021 Serge Haddad Daniele Varacca 32nd International Conference on Concurrency Theory, CONCUR 2021, August 24-27, 2021, Virtual Conference LIPIcs 203 Schloss Dagstuhl - Leibniz-Zentrum für Informatik 14:1–14:18 10.4230/LIPIcs.CONCUR.2021.14 Ahmed Bouajjani Constantin Enea Kailiang Ji Shaz Qadeer 2018 Hana Chockler Georg Weissenbacher Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II Lecture Notes in Computer Science 10982 Springer 372–391 10.1007/978-3-319-96142-2_23 Daniel Brand Pitro Zafiropulo 1983 J. ACM 30 2 323–342 10.1145/322374.322380 Marco Carbone Kohei Honda N. Yoshida R. Milner G. Brown Steve Ross-Talbot 2005 Giuseppe Castagna Mariangiola Dezani-Ciancaglini Luca Padovani 2012 Log. Methods Comput. Sci. 8 1 10.2168/LMCS-8(1:24)2012 Gérard Cécé Alain Finkel 2005 Inf. Comput. 202 2 166–190 10.1016/j.ic.2005.05.006 Haitao Dan Robert M. Hierons Steve Counsell 2010 José Luiz Fiadeiro Stefania Gnesi Andrea Maggiolo-Schettini 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13-18 September 2010 IEEE Computer Society 53–62 10.1109/SEFM.2010.14 Pierre-Malo Deniélou Nobuko Yoshida 2012 Helmut Seidl Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings Lecture Notes in Computer Science 7211 Springer 194–213 10.1007/978-3-642-28869-2_10 Manuel Fähndrich Mark Aiken Chris Hawblitzel Orion Hodson Galen C. Hunt James R. Larus Steven Levi 2006 Yolande Berbers Willy Zwaenepoel Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April 18-21, 2006 ACM 177–190 10.1145/1217935.1217953 Alain Finkel Étienne Lozes 2017 Ioannis Chatzigiannakis Piotr Indyk Fabian Kuhn Anca Muscholl 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland LIPIcs 80 Schloss Dagstuhl - Leibniz-Zentrum für Informatik 122:1–122:14 10.4230/LIPIcs.ICALP.2017.122 Simon J. Gay Vasco Thudichum Vasconcelos 2010 J. Funct. Program. 20 1 19–50 10.1017/S0956796809990268 Thomas Gazagnaire Blaise Genest Loïc Hélouët P. S. Thiagarajan Shaofa Yang 2007 Luís Caires Vasco Thudichum Vasconcelos CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings Lecture Notes in Computer Science 4703 Springer 166–180 10.1007/978-3-540-74407-8_12 Blaise Genest Dietrich Kuske Anca Muscholl 2007 Fundam. Inform. 80 1-3 147–167 http://content.iospress.com/articles/fundamenta-informaticae/fi80-1-3-09 Blaise Genest Anca Muscholl 2005 Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 6-9 June 2005, St. Malo, France IEEE Computer Society 2–4 10.1109/ACSD.2005.25 Blaise Genest Anca Muscholl Doron A. Peled 2003 Jörg Desel Wolfgang Reisig Grzegorz Rozenberg Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned] Lecture Notes in Computer Science 3098 Springer 537–558 10.1007/978-3-540-27755-2_15 Blaise Genest Anca Muscholl Helmut Seidl Marc Zeitoun 2006 J. Comput. Syst. Sci. 72 4 617–647 10.1016/j.jcss.2005.09.007 Cinzia Di Giusto Laetitia Laversa Étienne Lozes 2020 Jean Goubault-Larrecq Barbara König Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings Lecture Notes in Computer Science 12077 Springer 157–176 10.1007/978-3-030-45231-5_9 Loïc Hélouët Claude Jard 2000 In 5th International Workshop on Formal Methods for Industrial Critical Systems (FMICS) Alexander Heußner Jérôme Leroux Anca Muscholl Grégoire Sutre 2012 Log. Methods Comput. Sci. 8 3 10.2168/LMCS-8(3:23)2012 Kohei Honda 1993 Eike Best CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings Lecture Notes in Computer Science 715 Springer 509–523 10.1007/3-540-57208-2_35 Kohei Honda Nobuko Yoshida Marco Carbone 2008 George C. Necula Philip Wadler Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008 ACM 273–284 10.1145/1328438.1328472 Kohei Honda Nobuko Yoshida Marco Carbone 2016 J. ACM 63 1 9:1–9:67 10.1145/2827695 Chris Köcher 2021 Theory Comput. Syst. 65 8 1211–1242 10.1007/s00224-021-10031-2 Julien Lange Nobuko Yoshida 2019 Isil Dillig Serdar Tasiran Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I Lecture Notes in Computer Science 11561 Springer 97–117 10.1007/978-3-030-25540-4_6 Markus Lohrey 2003 Theor. Comput. Sci. 309 1-3 529–554 10.1016/j.tcs.2003.08.002 P. Madhusudan 2001 Fernando Orejas Paul G. Spirakis Jan van Leeuwen Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings Lecture Notes in Computer Science 2076 Springer 809–820 10.1007/3-540-48224-5_66 Rupak Majumdar Madhavan Mukund Felix Stutz Damien Zufferey 2021 Serge Haddad Daniele Varacca 32nd International Conference on Concurrency Theory, CONCUR 2021, August 24-27, 2021, Virtual Conference LIPIcs 203 Schloss Dagstuhl - Leibniz-Zentrum für Informatik 35:1–35:24 10.4230/LIPIcs.CONCUR.2021.35 Sjouke Mauw Michel A. Reniers 1997 Ana R. Cavalli Amardeo Sarma SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings Elsevier 291–306 Arjan J. Mooij Nicolae Goga Judi Romijn 2005 Maura Cerioli Fundamental Approaches to Software Engineering, 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings Lecture Notes in Computer Science 3442 Springer 273–288 10.1007/978-3-540-31984-9_21 Henry Muccini 2003 Mauro Pezzè Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings Lecture Notes in Computer Science 2621 Springer 372–386 10.1007/3-540-36578-8_26 Wuxu Peng S. Purushothaman 1992 Acta Informatica 29 6/7 499–522 10.1007/BF01185558 Abhik Roychoudhury Ankit Goel Bikram Sengupta 2012 ACM Trans. Softw. Eng. Methodol. 21 2 12:1–12:44 10.1145/2089116.2089122 Alceste Scalas Nobuko Yoshida 2019 Proc. ACM Program. Lang. 3 POPL 30:1–30:29 10.1145/3290343 Felix Stutz Damien Zufferey 2022 CoRR abs/2208.05559 10.48550/arXiv.2208.05559 2208.05559 Salvatore La Torre P. Madhusudan Gennaro Parlato 2008 C. R. Ramakrishnan Jakob Rehof Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings Lecture Notes in Computer Science 4963 Springer 299–314 10.1007/978-3-540-78800-3_21 Tayssir Touili Mohamed Faouzi Atig 2010 Theor. Comput. Sci. 411 38-39 3460–3468 10.1016/j.tcs.2010.05.028 International Telecommunication Union 1996 Technical Report International Telecommunication Union https://www.itu.int/rec/T-REC-Z.120