Bert de Brock. Declarative Semantics of Actions and Instructions. In Boris Shishkov, editor, Business Modeling and Software Design - 10th International Symposium, BMSD 2020, Berlin, Germany, July 6-8, 2020, Proceedings. Volume 391 of Lecture Notes in Business Information Processing, pages 297-308, Springer, 2020. [doi]
Abstract is missing.