1. The lazy lambda calculus;Abramsky,1988
2. What are the fundamental structures of concurrency? We still do not know;Abramsky;Electron. Notes Theor. Comput. Sci.,2006
3. Structural operational semantics;Aceto,2001
4. Termination, deadlock, and divergence;Aceto;J. ACM,1992
5. On the reduction of chocs bisimulation to π-calculus bisimulation;Amadio,1993