A Metric Approach to Control Flow Semantics

Annals of the New York Academy of Sciences

Volumn 806, Issue , 1996, Pages 11-27

  De Bakker, J W ^a   De Vink, E P ^b  

^a CWI   (Netherlands)

^b VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

Complete metric spaces; Concurrency; Operational and denotational semantics; Transition systems

Indexed keywords

EID: 3142558190     PISSN: 00778923     EISSN: None     Source Type: Book Series    
DOI: 10.1111/j.1749-6632.1996.tb49156.x     Document Type: Article

References (13)

1. BAIRE, R. 1909. Sur la représentation des fonctions discontinues. Acta Mathematica. 32: 97-176.
2. BONSANGUE, M.M., F. VAN BREUGEL, & J.J.M.M. RUTTEN. 1995. Alexandroff and Scott topologies for generalized ultrametric spaces. Technical Report IR-394. Vrije Universiteit, Amsterdam.
3. BONSANGUE, M.M. 1996. Topological Dualities in Semantics. Ph.D. Thesis, Vrije Universiteit, Amsterdam.
4. VAN BREUGEL, F. Topological Models in Comparative Semantics. Birkhauser Verlag. To appear.
5. VAN BREUGEL, F. 1995. A theory of metric labelled transition systems. Technical Report SOCS-95.6. McGill Univeristy, Montreal.
6. DE BAKKER, J.W. & E.P. DE VINK. 1996. Control Flow Semantics. The MIT Press. Cambridge, Massachusetts.
7. BONSANGUE, M., E.P. DE VINK, & J.N. KOK. 1995. Metric predicate transformers: Towards a notion of refinement for concurrency. In: Proc. CONCUR'95. Lecture Notes in Computer Science. 962: 363-377.
8. FLAGG, B. & R. KOPPERMAN. Continuity spaces: reconciling domains and metric spaces. Theoretical Computer Science. To appear.
9. HAUSDORFF, F. 1914. Grundzüge der Mengenlehre. Leipzig.
10. KURATOWSKI, K. 1956. Sur une méthode de métrisation compléte des certains espaces d'ensembles compacts. Fundamenta Mathematicae. 43: 114-138.
11. LAWVERE, F.W. 1973. Metric spaces, generalized logic, and closed categories. Rendiconti del Seminario Matematico e Fisico di Milano. 43: 135-166.
12. MISLOVE, M.W. 1995. A topological approach to theoretical computer science. Draft handed out at the 11th Summer Conference on General Topology and Applications, Portland, Maine.
13. WAGNER, K.R. 1994. Solving recursive domain equations with enriched categories. Ph.D. Thesis. Carnegie Mellon University.