The following pages link to (Q4373409):
Displayed 27 items.
- Modeling the dynamics of concurrent computing systems (Q552319) (← links)
- Hyperspaces of a weightable quasi-metric space: application to models in the theory of computation (Q614291) (← links)
- Notes on ``Modeling the dynamics of concurrent computing systems'' (Q692304) (← links)
- The Banach fixed point theorem in fuzzy quasi-metric spaces with application to the domain of words (Q886315) (← links)
- The Hausdorff fuzzy quasi-metric (Q968925) (← 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)
- Denotational models for programming languages: Applications of Banach's fixed point theorem (Q1295293) (← links)
- Universal coalgebra: A theory of systems (Q1583483) (← links)
- Constructive design of a hierarchy of semantics of a transition system by abstract interpretation (Q1605224) (← links)
- Denotational semantics of membrane systems by using complete metric spaces (Q1682859) (← links)
- A category of compositional domain-models for separable Stone spaces. (Q1853606) (← links)
- Axiomatizing GSOS with termination (Q1878716) (← links)
- De Bakker-Zucker processes revisited (Q1887161) (← links)
- Bisimulation for probabilistic transition systems: A coalgebraic approach (Q1960528) (← links)
- The Banaschewski compactification revisited (Q2318350) (← links)
- Recursively defined metric spaces without contraction (Q2373743) (← links)
- An identification theorem for the completion of the Hausdorff fuzzy metric (Q2445545) (← links)
- On quasi-metric aggregation functions and fixed point theorems (Q2445564) (← links)
- Notions of bisimulation and congruence formats for SOS with data (Q2486401) (← links)
- A Note on Hyperspaces and Terminal Coalgebras (Q4256321) (← links)
- Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice (Q4923369) (← links)
- Linear Structures for Concurrency in Probabilistic Programming Languages (Q4923370) (← links)
- Denotational semantics for programming languages, balanced quasi-metrics and fixed points (Q5459745) (← links)
- Metric semantics for true concurrent real time (Q5940931) (← links)
- An introduction to metric semantics: Operational and denotational models for programming and specification languages (Q5941193) (← links)
- A process calculus for spiking neural P systems (Q6191634) (← links)