search

UoY-RoboStar / robocert-textual

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

Add par blocks #47

Closed MattWindsor91 closed 2 years ago

MattWindsor91 commented 3 years ago

Part of feature parity with UML and PSC, and capture of CSP operators, would be to add parallel compositions. As this is famously the bread and butter of CSP, and I believe Lima's semantics captures it, it shouldn't be too hard to do so.

MattWindsor91 commented 2 years ago

Added, but see #71.