On behavioural pseudometrics and closure ordinals
type: Item
instance of: scholarly article
title: On behavioural pseudometrics and closure ordinals
zbMATH Open document ID: 1248.68359
author: Franck van Breugel
published in: Information Processing Letters
publication date: 2012-10-23T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03G10
zbMATH DE Number: 6098073
zbMATH Keywords: concurrency
zbMATH Keywords: formal semantics
zbMATH Keywords: behavioural pseudometric
zbMATH Keywords: least fixed point
zbMATH Keywords: closure ordinal
MaRDI profile type: Publication
full work available at URL: j.ipl.2012.06.019
OpenAlex ID: W2010466545
cites work: The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
cites work: Automata, Languages and Programming
cites work: Q4270063
cites work: A lattice-theoretical fixpoint theorem and its applications
cites work: Q4791270
cites work: Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems
cites work: Approximate reasoning for real-time probabilistic processes
cites work: Q5471419
cites work: Bisimulation through probabilistic testing
cites work: Game Refinement Relations and Metrics
DOI: 10.1016/J.IPL.2012.06.019
description: scientific article; zbMATH DE number 6098073