Refinement in Branching Time Semantics

R.J. van Glabbeek, W.P. Weijland

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Abstract / Description of output

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 languageEnglish
Title of host publicationJ.W. de Bakker, 25 jaar semantiek: liber amicorum
EditorsJ.W. Klop, J.J.C. Meijer, J.J.M.M. Rutten
PublisherCWI
Pages197-201
Number of pages5
Publication statusPublished - 1 Apr 1989

Fingerprint

Dive into the research topics of 'Refinement in Branching Time Semantics'. Together they form a unique fingerprint.

Cite this