BETTY Paper at FORTE 2014
A paper by BETTY authors has been accepted by the FORTE conference:
- Søren Debois, Thomas Hildebrandt, Tijs Slaats and Nobuko Yoshida. Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion
Congratulations!