Pages that link to "Item:Q1878713"

The following pages link to The meaning of negative premises in transition system specifications. II (Q1878713):

Displaying 25 items.

• Structural congruence for bialgebraic semantics (Q338626) (← links)
• Divide and congruence: from decomposition of modal formulas to preservation of branching and \(\eta \)-bisimilarity (Q418189) (← links)
• Some undecidable properties of SOS specifications (Q511941) (← links)
• A syntactic commutativity format for SOS (Q835035) (← links)
• SOS formats and meta-theory: 20 years after (Q877025) (← links)
• Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes (Q974113) (← links)
• Semantics and expressiveness of ordered SOS (Q1012119) (← links)
• Divide and congruence. II: From decomposition of modal formulas to preservation of delay and weak bisimilarity (Q1680509) (← links)
• Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence (Q2272990) (← links)
• Compositionality of Hennessy-Milner logic by structural operational semantics (Q2368979) (← links)
• Notions of bisimulation and congruence formats for SOS with data (Q2486401) (← links)
• A general SOS theory for the specification of probabilistic transition systems (Q2629851) (← links)
• Compositional equivalences based on open pNets (Q2683032) (← links)
• Reactive bisimulation semantics for a process algebra with timeouts (Q2687033) (← links)
• A Congruence Rule Format with Universal Quantification (Q2871833) (← links)
• (Q3385651) (← links)
• A Pre-congruence Format for XY-simulation (Q3455865) (← links)
• (Q5013870) (← links)
• (Q5014795) (← links)
• (Q5089269) (← links)
• Divide and congruence III: Stability & divergence (Q5111628) (← links)
• Non Expansive ε-Bisimulations (Q5505435) (← links)
• Sequencing and intermediate acceptance: Axiomatisation and decidability of bisimilarity (Q5875352) (← links)
• Pushdown Automata and Context-Free Grammars in Bisimulation Semantics (Q5883743) (← links)
• Lang-n-Send Extended: Sending Regular Expressions to Monitors (Q6122642) (← links)