Chatzigeorgiou, Alexander (ed.) et al., SOFSEM 2020: theory and practice of computer science. 46th international conference on current trends in theory and practice of informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12011, 285-297 (2020).
Pérez, Jorge A. (ed.) et al., Proceedings of the combined 26th international workshop on expressiveness in concurrency and 16th workshop on structural operational semantics, EXPRESS/SOS 2019, Amsterdam, The Netherlands, August 26, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 300, 19-38 (2019).
Pérez, Jorge A. (ed.) et al., Proceedings of the combined 25th international workshop on expressiveness in concurrency and 15th workshop on structural operational semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 276, 122-139 (2018).
Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 93, Article 7, 14 p. (2018).
Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10203, 424-440 (2017).
Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 421-432 (2015).
de Alfaro, Luca (ed.), Foundations of software science and computational structures. 12th international conference, FOSSACS 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00595-4/pbk). Lecture Notes in Computer Science 5504, 227-241 (2009).
van Glabbeek, Rob (ed.) et al., Proceedings of the fourth workshop on structural operational semantics (SOS 2007), Wroclaw, Poland, July 9, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 192, No. 1, 77-92 (2007).
Amadio, Roberto (ed.) et al., Proceedings of the 13th international workshop on expressiveness in concurrency (EXPRESS 2006), Bonn, Germany, August 26, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 175, No. 3, 87-108 (2007).
Palamidessi, C. (ed.) et al., EXPRESS ’97. Papers from the conference, Santa Margherita Ligure, Italy, September 8–12, 1997. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 7, 20 p. (1997).
Chandru, V. (ed.) et al., Foundations of software technology and theoretical computer science. 16th conference, Hyderabad, India, December 18–20, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1180, 100-110 (1996).