A Causal Operational Semantics of Action Refinement

Information and Computation - Tập 122 - Trang 97-119 - 1995
P. Degano1, R. Gorrieri1
1Univ Pisa, Dipartimento Informat, Corso Italia 40, I 56125 Pisa, Italy and Univ Bologna, Dipartimento Matemat, I 40127 Bologna, Italy