A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
A labelled transition system is provided with some additional structure by endowing the con gurations and the labels with a complete metric. In this way, a so-called metric labelled transition system is obtained. The additional structure on a metric labelled transition system makes it possible to generalize the niteness conditions nitely branching and image nite to compactly branching and image compact, respectively. Some topological properties of the operational semantic models and thedoi:10.1007/3-540-58201-0_83 fatcat:2ten3vsjljaklke3vyuxfgzsb4