A fully abstract denotational model for observational precongruence

• Authors:

• Anna Ingólfsdóttir;Andrea Schalk

• Affiliations:

• Aalborg Univ., Denmark;Univ. of Cambridge, Cambridge, U. K.

• Venue:
• Theoretical Computer Science
• Year:
• 2001