1. Domain Theory and the Logic of Observable Properties;Abramsky,1987
2. A domain equation for bisimulation;Abramsky;Inf. Comput.,1991
3. Structural operational semantics;Aceto,2001
4. Rule formats for bounded nondeterminism in structural operational semantics;Aceto,2016
5. A characterization of finitary bisimulation;Aceto;Inf. Process. Lett.,1997