An introduction to metric semantics: Operational and denotational models for programming and specification languages

DOI10.1016/S0304-3975(00)00403-5zbMath0973.68133OpenAlexW1991224384WikidataQ127610082 ScholiaQ127610082MaRDI QIDQ5941193

Franck Van Breugel

Publication date: 20 August 2001

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(00)00403-5

zbMATH Keywords

operational semanticsmetric spacedenotational semanticslabelled transition systemmetric semanticsnondeterminismnonterminationprogramming languagespecification language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (12)

Computing branching distances with quantitative games ⋮ Metric Reasoning About $$\lambda $$-Terms: The General Case ⋮ Interface simulation distances ⋮ Denotational linear time semantics and sequential composition ⋮ The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata ⋮ Approximation in quantale-enriched categories ⋮ Quantitative Simulation Games ⋮ Bi-inductive structural semantics ⋮ Differential logical relations, Part I: The simply-typed case ⋮ Simulation distances ⋮ NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC ⋮ Bi-inductive Structural Semantics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Solving reflexive domain equations in a category of complete metric spaces
• Denotational semantics of a parallel object-oriented language
• Comparative metric semantics for concurrent PROLOG
• Contractions in comparing concurrency semantics
• Transition systems, metric spaces and ready sets in the semantics of uniform concurrency
• A timed model for communicating sequential processes
• Fairness, distances and degrees
• The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\)
• Denotational semantics in the cpo and metric approach
• Linear time and branching time semantics for recursion with merge
• Bisimulation for probabilistic transition systems: A coalgebraic approach
• Real time process algebra
• Sur une méthode de métrisation complète de certains espaces d'ensembles compacts
• On the Existence of Cook Semantics
• Semantic Correctness for a Parallel Object-Oriented Language
• An ideal model for recursive polymorphic types
• Formal verification of parallel programs
• Divergence and fair testing
• Processes and the denotational semantics of concurrency
• Decision problems forω-automata
• Topologies on Spaces of Subsets

This page was built for publication: An introduction to metric semantics: Operational and denotational models for programming and specification languages