UoY-RoboStar / robocert-textual

Textual plugin and CSP generator for RoboCert
Eclipse Public License 2.0
2 stars 0 forks source link

Work out the correct synchronisation for par #128

Open MattWindsor91 opened 2 years ago

MattWindsor91 commented 2 years ago

Midway through implementing the synchronisation at the end of par that Lima et al. 2014 use, I realised that this might not be standard UML. As such, we need to decide whether this is in fact what we want.