Franck van Breugel  Home/Search
Context
Related
| cs.mcgill.ca/pub/techre...TR95.6.ps.gz cs.mcgill.ca/resrchpages...TR95.6.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.yorku.ca/~franck/reports/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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... (Update)
Active bibliography (related documents): More All
0.9: From Branching to Linear Metric Domains (and back) - van Breugel (1995) (Correct)
0.7: Metric Semantics for Second Order Communication - de Bakker, al. (1995) (Correct)
0.5: Terminal Metric Spaces of Finitely Branching and Image Finite.. - van Breugel (1997) (Correct)
Similar documents based on text: More All
0.4: Solving Recursive Domain Equations with Enriched Categories - Wagner (1994) (Correct)
0.2: De Bakker-Zucker Processes Revisited - van Breugel (1999) (Correct)
0.2: Generalizing Finiteness Conditions of Labelled Transition Systems - van Breugel (1993) (Correct)
BibTeX entry: (Update)
@misc{ breugel-theory,
author = "Franck van Breugel",
title = "A Theory of Metric Labelled Transition Systems",
url = "citeseer.ist.psu.edu/vanbreugel95theory.html" }
Citations (may not include all citations):906 A Structural Approach to Operational Semantics - Plotkin - 1981
155 Real Time Process Algebra (context) - Baeten, Bergstra - 1991
40 Solving Reflexive Domain Equations in a Category of Complete.. (context) - America, Rutten - 1989
38 Information and Control (context) - de Bakker, Zucker et al. - 1982
26 Grundzuge der Mengenlehre (context) - Hausdorff - 1914
24 Sur les Op'erations dans les Ensembles Abstraits et leurs Ap.. (context) - Banach - 1922
23 Elements of Generalized Ultrametric Domain Theory - Rutten - 1995
21 Contractions in Comparing Concurrency Semantics (context) - Kok, Rutten - 1990
17 Foundations of Computing Series (context) - de Bakker, de Vink et al. - 1995
16 The Metric Closure Powerspace Construction (context) - Kent - 1987
10 Generalized Ultrametric Spaces: Completion (context) - Bonsangue, van Breugel et al. - 1995
10 ete des Certains Espaces d (context) - Kuratowski, M'ethode - 1956
10 Infinite Computations (context) - Nivat, Infinite - 1979
9 Transactions of the American Mathematical Society (context) - Michael, Spaces - 1951
8 An Introduction to Mathematical Machine Theory (context) - Ginsburg - 1962
7 Topological Models in Comparative Semantics (context) - van Breugel - 1994
5 Generalizing Finiteness Conditions of Labelled Transition Sy.. (context) - van Breugel - 1994
4 Sur la Repr'esentation des Fonctions Discontinues (context) - Baire - 1909
3 From Branching to Linear Metric Domains (context) - van Breugel - 1995
3 Automata and the Problem of Dynamic Programming (context) - Shreider - 1964
2 Comparative Semantics for a Real-Time Programming Language w.. - van Breugel - 1991
1 Zu den Grundlagen einer Theorie Topologischer Sequentieller .. (context) - Brauer - 1970
Documents on the same site (http://www.cs.yorku.ca/~franck/reports/): More
Metric Semantics for Second Order Communication - de Bakker, al. (1995) (Correct)
Terminal Metric Spaces of Finitely Branching and Image Finite.. - van Breugel (1997) (Correct)
Failures, Finiteness, and Full Abstraction - van Breugel (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC