Support for asynchronous connections between state machines

UoY-RoboStar / robochart-textual

This repository contains the plugins for the RoboChart textual editor

Eclipse Public License 2.0

0 stars 1 forks source link

Open pefribeiro opened 2 years ago

pefribeiro commented 2 years ago

Issue tracking the removal of Cn11 as a WFC. We're making this change so that connections between state machines can be set asynchronous.

Change in the semantics is tracked in issue https://github.com/UoY-RoboStar/robochart-csp-gen/issues/39 of robochart-csp-gen.