Jan Martijn E. M. van der Werf, Andrey Rivkin, Artem Polyvyanyy, Marco Montali. Data and Process Resonance - Identifier Soundness for Models of Information Systems. In Luca Bernardinello, Laure Petrucci, editors, Application and Theory of Petri Nets and Concurrency - 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, Proceedings. Volume 13288 of Lecture Notes in Computer Science, pages 369-392, Springer, 2022. [doi]
Abstract is missing.