From rewrite rules to bisimulation congruences
Work
Year: 2002
Type: article
Source: Theoretical Computer Science
Author Peter Sewell
Institution University of Cambridge
Cites: 45
Cited by: 102
Related to: 10
FWCI: 17.39
Citation percentile (by year/subfield): 90.2
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze