Grygoriy Zholtkevych, Pavlo Kovalev, Victoriya Kuznietcova, Anastasiia Morozova. Development of a Syntax for Representing Regular Constraints on the Behavior of Distributed Systems with Output. In Dmytro Chumachenko, Jasleen Kaur 0004, Sergiy Yakovlev, Plinio P. Morita, editors, Proceedings of the 3rd International Workshop of IT-professionals on Artificial Intelligence, ProfIT AI 2023, Waterloo, Canada, November 20-22, 2023. Volume 3641 of CEUR Workshop Proceedings, pages 59-70, CEUR-WS.org, 2023. [doi]
Abstract is missing.