A Theory of Metric Labelled Transition Systems
Franck van Breugel · Annals of the New York Academy of Sciences · 1996
ABSTRACT: Labelled transition systems are useful for giving semantics to programming languages. Kok and Rutten have developed some theory to prove semantic models defined by means of labelled transition systems equal to other semantic models. Metric labelled transition systems are labelled transition systems with the configurations and actions endowed with metrics. The additional metric structure allows us to generalize the theory developed by Kok and Rutten.