Pages that link to "Item:Q2701735"
From MaRDI portal
The following pages link to Topology in process calculus. Approximate correctness and infinite evolution of concurrent programs (Q2701735):
Displaying 18 items.
- Two-thirds simulation indexes and modal logic characterization (Q352098) (← links)
- Value-passing CCS with noisy channels (Q428864) (← links)
- The infinite evolution mechanism of \(\epsilon\)-bisimilarity (Q458130) (← links)
- Approximate equivalence and synchronization of metric transition systems (Q1004092) (← links)
- Characterize branching distance in terms of \((\eta , \alpha )\)-bisimilarity (Q1004387) (← links)
- Additive models of probabilistic processes (Q1607220) (← links)
- Quantitative analysis of software approximate correctness (Q1664851) (← links)
- The approximate correctness of systems based on \(\delta\)-bisimulation (Q1744456) (← links)
- Hybrid process algebra (Q1763160) (← links)
- Topology in process calculus. I: Limit behaviour of agents (Q1964363) (← links)
- Topology, monitorable properties and runtime verification (Q2453532) (← links)
- Probabilistic bisimulations for quantum processes (Q2461794) (← links)
- \(\pi\)-calculus with noisy channels (Q2570971) (← links)
- Topological Construction of Parameterized Bisimulation Limit (Q2994479) (← links)
- Topological Self-Stabilization with Name-Passing Process Calculi (Q4608671) (← links)
- (Q4727410) (← links)
- Topological Aspects of Hybrid Processes (Q5262960) (← links)
- A Behavioural Pseudometric based on λ–Bisimilarity (Q5415666) (← links)
