A Theory of Metric Labelled Transition Systems (1995)
| Venue: | Papers on General Topology and Applications: 11th Summer Conference at the University of Southern Maine, volume 806 of Annals of the New York Academy of Sciences |
| Citations: | 1 - 0 self |
BibTeX
@INPROCEEDINGS{Breugel95atheory,
author = {Franck Van Breugel},
title = {A Theory of Metric Labelled Transition Systems},
booktitle = {Papers on General Topology and Applications: 11th Summer Conference at the University of Southern Maine, volume 806 of Annals of the New York Academy of Sciences},
year = {1995},
pages = {67--87}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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 to be 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. Introduction The classical result due to Banach [Ban22] that a contractive function from a nonempty complete metric space to itself has a unique fixed point plays an important role in the theory of metric semantics for programming languages. Metric spaces and Banach's theorem were first employed by Nivat [Niv79] to give semantics to recursive program schemes. Inspired by the work of Nivat, De Bakker and Zucker [BZ82] gave semantics to concurrent languages by means of metric spaces. The metric spaces they used were defined as solutio...
