A Theory of Metric Labelled Transition Systems
by
Franck van Breugel
McGill University

A metric labelled transition system is a labelled transition system the sets of configurations and labels of which form complete metric spaces. This additional metric structure enables us to generalize the finiteness conditions finitely branching and image finite on labelled transition systems to compactly branching and image compact, respectively. Some topological properties of the operational semantic models induced by labelled transition systems satisfying one of the finiteness conditions are discussed. These results are generalized for metric labelled transition systems satisfying one of the generalized finiteness conditions. These topological properties are useful for relating different semantic models for a given language.

Date received: April 12, 1996

Copyright © 1996 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # caae-08.