Research graph
References from Program Constructions that are Safe for Bisimulation. Local targets link to admitted publications; unresolved targets remain external evidence.
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
1984 · External reference
10.1007/978-94-009-4540-1
10.1007/978-94-009-4540-1 · 1986 · External reference
Unresolved reference
1991 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
1995 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1007/bf01160018
10.1007/bf01160018 · 1995 · External reference
Unresolved reference
1973 · External reference
Unresolved reference
1984 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
1997 · External reference
10.1007/3-540-61604-7_60
10.1007/3-540-61604-7_60 · External reference
Unresolved reference
1971 · External reference
10.1007/3-540-10235-3
10.1007/3-540-10235-3 · 1980 · External reference
Unresolved reference
1981 · External reference
Unresolved reference
External reference
