3 lines (2 loc) · 167 Bytes

RtC

RtC is a tool for conducting a heuristic-based join operation on multiple constraint automata representing operational models in the Reo coordination language.