Pages that link to "Item:Q2366163"

The following pages link to Testing equivalence as a bisimulation equivalence (Q2366163):

Displaying 24 items.

• A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
• Stepwise development of process-algebraic specifications in decorated trace semantics (Q816202) (← links)
• Fair testing (Q865623) (← links)
• A reduced maximality labeled transition system generation for recursive Petri nets (Q903505) (← links)
• Comparing disjunctive modal transition systems with an one-selecting variant (Q953529) (← links)
• Automatic verification of distributed systems: the process algebra approach. (Q960505) (← links)
• CSP is a retract of CCS (Q960852) (← links)
• Contract-based discovery of Web services modulo simple orchestrators (Q987977) (← links)
• (Bi)simulations up-to characterise process semantics (Q1012122) (← links)
• FDR explorer (Q1019020) (← links)
• Linda-based applicative and imperative process algebras (Q1575260) (← links)
• Unifying behavioral equivalences of timed transition systems (Q1758671) (← links)
• Composition methods for constructing characteristic formulas for dense-time models (Q1938922) (← links)
• A game for linear-time-branching-time spectroscopy (Q2044187) (← links)
• Non-bisimulation-based Markovian behavioral equivalences (Q2373649) (← links)
• Logical characterisations, rule formats and compositionality for input-output conformance simulation (Q2423772) (← links)
• Processes as formal power series: a coinductive approach to denotational semantics (Q2503337) (← links)
• Simulations Up-to and Canonical Preorders (Q2871827) (← links)
• A coalgebraic view on decorated traces (Q2973240) (← links)
• Process Algebra and Model Checking (Q3176390) (← links)
• Final Semantics for Decorated Traces (Q3178274) (← links)
• Consistently-detecting monitors (Q5111620) (← links)
• Generating diagnostic information for behavioral preorders (Q5137006) (← links)
• Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity (Q5262954) (← links)