Category: Articles
Time Modulation Protocol: a ‘Killer App’ for Reowolf?
During the execution of the Reowolf project over the past years, we have discovered a deep and interesting technique, that we would like to share with the wider community. Over the course of the past months, we assembled a small team (comprising Dalia Papuc, Benjamin Lion, Hans-Dieter Hiep) and intensively worked together to create a […]
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.