RtC is a tool for conducting a heuristic-based join operation on multiple constraint automata representing operational models in the Reo coordination language.
-
Notifications
You must be signed in to change notification settings - Fork 0
RtC is a tool for conducting a heuristic-based join operation on multiple constraint automata representing operational models in the Reo coordination language.
License
UT-ECE-FormalMethods/RtC
About
RtC is a tool for conducting a heuristic-based join operation on multiple constraint automata representing operational models in the Reo coordination language.
Topics
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published