Lately we have had a lot of activity around EventML, the programming language Vincent Rahli has developed. We are refining EventML and exploring the potential of this programming language that uses Event Logic for coding distributed protocols and docks with the Nuprl theorem prover.
Yesterday a new version of the software package was released. It is available on our CRASH page:
www.nuprl.org/crash/software.php
We have also posted a draft Tutorial for EventML, including:
- Background about EventML
- Description of Event Classes
- Examples
- Ping Pong
- Leader Election in a Ring
- Two-thirds Consensus