Pages that link to "Item:Q1088404"

The following pages link to A context dependent equivalence between processes (Q1088404):

Displaying 13 items.

• Factorisation of finite state machines under strong and observational equivalences (Q1176112) (← links)
• A compositional protocol verification using relativized bisimulation (Q1193593) (← links)
• A semantic characterization for faults in replicated systems (Q1330427) (← links)
• On the operational semantics of nondeterminism and divergence (Q1350504) (← links)
• SMT-based generation of symbolic automata (Q2182674) (← links)
• A linear-time-branching-time spectrum for behavioral specification theories (Q2291820) (← links)
• Compositional equivalences based on open pNets (Q2683032) (← links)
• A Theory for the Composition of Concurrent Processes (Q2827466) (← links)
• Active Evaluation Contexts for Reaction Semantics (Q2866316) (← links)
• Extending modal transition systems with structured labels (Q2909731) (← links)
• A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories (Q2971124) (← links)
• Topological Construction of Parameterized Bisimulation Limit (Q2994479) (← links)
• Parametric and Quantitative Extensions of Modal Transition Systems (Q5170745) (← links)