From Rewrite Rules to Bisimulation Congruences (1998)

by Peter Sewell
Venue:THEORETICAL COMPUTER SCIENCE
Citations:71 - 2 self

Document Versions

From Rewrite Rules to Bisimulation Congruences –Peter Sewell — 1998 — THEORETICAL COMPUTER SCIENCE
From Rewrite Rules to Bisimulation Congruences –Peter Sewell — 1998 — THEORETICAL COMPUTER SCIENCE
From Rewrite Rules to Bisimulation Congruences –Peter Sewell — 1999
From Rewrite Rules to Bisimulation Congruences –Peter Sewell — 1998 — Theoretical Computer Science
From Rewrite Rules to Bisimulation Congruences –Peter Sewell — 1998 — Theoretical Computer Science