Lorenzo Capra, Michael Köhler-Bußmeier. A Maude Formalization of Object Nets. In Thaís Batista, Tomás Bures, Claudia Raibulet, Henry Muccini, editors, Software Architecture. ECSA 2022 Tracks and Workshops - Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers. Volume 13928 of Lecture Notes in Computer Science, pages 246-261, Springer, 2022. [doi]
Abstract is missing.