EasyChair Smart Slide
Compositional Verification of Interacting Systems Using Event Monads
Compositional Verification of Interacting Systems Using Event Monads