Pages that link to "Item:Q3398965"
From MaRDI portal
The following pages link to Branching Bisimilarity with Explicit Divergence (Q3398965):
Displaying 30 items.
- Reactive Turing machines (Q393091) (← links)
- Theory of interaction (Q896903) (← links)
- A defense of branching quantification (Q1313374) (← links)
- Distinguishing and relating higher-order and first-order processes by expressiveness (Q1935453) (← links)
- Probabilistic may/must testing: retaining probabilities by restricted schedulers (Q1941883) (← links)
- Ensuring liveness properties of distributed systems: open problems (Q2011206) (← links)
- To compose, or not to compose, that is the question: an analysis of compositional state space generation (Q2024367) (← links)
- Counting nondeterministic computations (Q2055958) (← links)
- A thesis for interaction (Q2055962) (← links)
- On the probabilistic bisimulation spectrum with silent moves (Q2182668) (← links)
- Off-the-shelf automated analysis of liveness properties for just paths (Q2182670) (← links)
- Characteristic invariants in Hennessy-Milner logic (Q2182678) (← links)
- Cartesian difference categories (Q2200813) (← links)
- Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence (Q2272990) (← links)
- Next-preserving branching bisimulation (Q2355689) (← links)
- Decomposing monolithic processes in a process algebra with multi-actions (Q2693301) (← links)
- Branching Bisimulation Games (Q2827464) (← links)
- Folk Theorems on the Correspondence between State-Based and Event-Based Systems (Q3075540) (← links)
- Reactive Turing Machines (Q3088297) (← links)
- On the Executability of Interactive Computation (Q3188271) (← links)
- (Q3385650) (← links)
- (Q5014795) (← links)
- (Q5020941) (← links)
- Divide and congruence III: Stability & divergence (Q5111628) (← links)
- (Q5119395) (← links)
- (Q5129943) (← links)
- Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities (Q5164168) (← links)
- (Q5856411) (← links)
- (Q5856418) (← links)
- Decomposing monolithic processes in a process algebra with multi-actions (Q6649542) (← links)
