A Fully Abstract Denotational Model for Observational Congruence (1995)

by RS-95-40 Anna Ingólfsdóttir, Andrea Schalk
Venue:Allan Cheng. Petri Nets, Traces, and Local Model Checking