Development of a Syntax for Representing Regular Constraints on the Behavior of Distributed Systems with Output

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]

Authors

Grygoriy Zholtkevych

This author has not been identified. Look up 'Grygoriy Zholtkevych' in Google

Pavlo Kovalev

This author has not been identified. Look up 'Pavlo Kovalev' in Google

Victoriya Kuznietcova

This author has not been identified. Look up 'Victoriya Kuznietcova' in Google

Anastasiia Morozova

This author has not been identified. Look up 'Anastasiia Morozova' in Google