Vol-3640⫷ Vol-3641 ⫸Vol-3642
urn:nbn:de:0074-3641-0


Vol-3641/paper5⫷Vol-3641/paper6⫸Vol-3641/paper7
Grygoriy ZholtkevychPavlo KovalevVictoriya KuznietcovaAnastasiia Morozova

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