Category: Articles
Reowolf: Executable, Compositional, Synchronous Protocol Specifications
We submitted an article to the PLDI 2022 conference, but unfortunately the article was rejected. The version we submitted can be accessed in full below. We found the reviews very helpful for improving our article (and project!) over time. For full disclosure, here are a couple of the reviews we received. Review 1 Overall merit: […]
Reowolf: Synchronous multi-party communication over the Internet
An article accepted by the International Conference on Formal Aspects of Component Software (October 2019), Amsterdam, by Christopher Esterhuyse and Hans-Dieter Hiep.