Robuta

https://research-portal.uu.nl/en/publications/a-case-study-in-proofs-about-realtime-programming-and-asynchronou/ A case study in proofs about realtime programming and asynchronous message passing (A formal system... asynchronous message passing case study formal system proofs realtime