18 citations · 18 across the 1 of their papers we have counts for
1 paper
Simon Foster, Ana Cavalcanti, Jim Woodcock +1
Hoare and He's theory of reactive processes provides a unifying foundation for the formal semantics of concurrent and reactive languages. Though highly applicable, their theory is…