Lorenzo Capra, Michael Köhler-Bußmeier. Integral Implementation of Higher-Order Algebraic Petri Nets in Maude. In Bapi Chatterjee, Kishore Kothapalli, Neeraj Mittal, Arul Murugan Natarajan, Dinesh Singh, editors, Distributed Computing and Intelligent Technology - 22nd International Conference, ICDCIT 2026, Bhubaneswar, India, January 16-19, 2026, Proceedings. Volume 16420 of Lecture Notes in Computer Science, pages 137-153, Springer, 2026. [doi]
Abstract is missing.