1 paper
Amir Mohammad Fadaei Ayyam, Michael Sammler
Recent years have witnessed the rise of compositional semantics as a foundation for formal verification of complex systems. In particular, interaction trees have emerged as a popul…