Abstract
In this paper we consider branching time semantics for finite sequential processes with silent moves. We show that Milner's notion of observation equivalence is not preserved under refinement of actions, even when no interleaving operators are considered; however the authors' notion of branching bisimulation is.
| Original language | English |
|---|---|
| Title of host publication | J.W. de Bakker, 25 jaar semantiek: liber amicorum |
| Editors | J.W. Klop, J.J.C. Meijer, J.J.M.M. Rutten |
| Publisher | CWI |
| Pages | 197-201 |
| Number of pages | 5 |
| Publication status | Published - 1 Apr 1989 |