The following pages link to Franck Van Breugel (Q456099):
Displaying 40 items.
- (Q198001) (redirect page) (← links)
- (Q391130) (redirect page) (← links)
- Addendum to ``Recursively defined metric spaces without contraction'' (Q391132) (← links)
- On behavioural pseudometrics and closure ordinals (Q456100) (← links)
- Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding (Q1127524) (← links)
- Terminal metric spaces of finitely branching and image finite linear processes (Q1128985) (← links)
- Isometries between a metric space and its hyperspace, function space, and space of measures. (Q1426504) (← links)
- Domain theory, testing and simulation for labelled Markov processes (Q1770416) (← links)
- A behavioural pseudometric for probabilistic transition systems (Q1770428) (← links)
- De Bakker-Zucker processes revisited (Q1887161) (← links)
- Deciding probabilistic bisimilarity distance one for probabilistic automata (Q2306848) (← links)
- Recursively defined metric spaces without contraction (Q2373743) (← links)
- Approximating and computing behavioural distances in probabilistic transition systems (Q2503333) (← links)
- (Q2736353) (← links)
- On the Complexity of Computing Probabilistic Bisimilarity (Q2892788) (← links)
- A Progress Measure for Explicit-State Probabilistic Model-Checkers (Q3012927) (← links)
- Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems (Q3518278) (← links)
- (Q4212171) (← links)
- (Q4222905) (← links)
- A Note on Hyperspaces and Terminal Coalgebras (Q4256321) (← links)
- (Q4373412) (← links)
- (Q4373413) (← links)
- (Q4417860) (← links)
- (Q4535035) (← links)
- Computing Probabilistic Bisimilarity Distances via Policy Iteration (Q4608674) (← links)
- Generalizing finiteness conditions of labelled transition systems (Q4632441) (← links)
- (Q4737187) (← links)
- (Q4791270) (← links)
- (Q5009421) (← links)
- (Q5111641) (← links)
- The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata (Q5418964) (← links)
- Automata, Languages and Programming (Q5716849) (← links)
- Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems (Q5758050) (← links)
- (Q5856412) (← links)
- (Q5858723) (← links)
- (Q5875370) (← links)
- Three metric domains of processes for bisimulation (Q5890043) (← links)
- Topological models for higher order control flow (Q5890044) (← links)
- CONCUR 2005 – Concurrency Theory (Q5897480) (← links)
- An introduction to metric semantics: Operational and denotational models for programming and specification languages (Q5941193) (← links)
