Pages that link to "Item:Q2949442"
From MaRDI portal
The following pages link to Compositional Metric Reasoning with Probabilistic Process Calculi (Q2949442):
Displaying 9 items.
- SOS specifications for uniformly continuous operators (Q1678172) (← links)
- A probabilistic calculus of cyber-physical systems (Q2042728) (← links)
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems (Q2272986) (← links)
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi (Q2974795) (← links)
- Metric Reasoning About $$\lambda $$-Terms: The General Case (Q2988646) (← links)
- (Q4553277) (← links)
- (Q4580323) (← links)
- Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice (Q4923369) (← links)
- Up-to techniques for behavioural metrics via fibrations (Q6190392) (← links)