Paper accepted at ESOP 2022
2022-03-09
The paper A Predicate Transformer for Choreographies by Sung-Shik Jongmans and Petra van den Bos, was accepted at the 31st European Symposium on Programming (ESOP 2022).
2022-03-09
The paper A Predicate Transformer for Choreographies by Sung-Shik Jongmans and Petra van den Bos, was accepted at the 31st European Symposium on Programming (ESOP 2022).