Concepedia
Information and Computation · 1990 · 110 citations · 3 references
3
Observation equivalence as a testing equivalence
Samson Abramsky · Theoretical Computer Science · 1987 · 203 citations
Natural Sciences, Mathematics, Measurement Invariance +4
Modal logics for communicating systems
Colin Stirling · Theoretical Computer Science · 1987 · 139 citations
Humanities, Computer Science, Distributed Systems +6
Bisimulations and divergence
D. J. Walker · 2003 · 43 citations
Computing, Computer Science, Mathematics +16