A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is
BRICS Report Series
Van Glabbeek (1990) presented the linear time-branching time spectrum of behavioral equivalences for finitely branching, concrete, sequential processes. He studied these semantics in the setting of the basic process algebra BCCSP, and tried to give finite complete and omega-complete axiomatizations for them. (An axiomatization E is omega-complete when an equation can be derived from E if, and only if, all its closed instantiations can be derived from E.) Obtaining such axiomatizations indoi:10.7146/brics.v12i19.21885 fatcat:qbyvmg3ukvcoha3dremprnhzuu