1. A Theory of Objects;Abadi,2012
2. A model of cooperative threads;Abadi,2009
3. A model of cooperative threads;Abadi;Log. Methods Comput. Sci.,2010
4. Turning SOS rules into equations;Aceto;Inf. Comput.,1994
5. Structural operational semantics;Aceto,2001