Skip to main content

A comparison of refinement orderings and their associated simulation rules

Christie Bolton and Jim Davies

Journal
Electronic Notes in Theoretical Computer Science
Number
3
Volume
70
Year
2002