Pages that link to "Item:Q1854563"

The following pages link to Ordered SOS process languages for branching and eager bisimulations (Q1854563):

Displaying 15 items.

• On cool congruence formats for weak bisimulations (Q549196) (← links)
• SOS formats and meta-theory: 20 years after (Q877025) (← links)
• A precongruence format for should testing preorder (Q974134) (← links)
• Semantics and expressiveness of ordered SOS (Q1012119) (← links)
• Generating priority rewrite systems for OSOS process languages (Q1012121) (← links)
• Finite axiom systems for testing preorder and De Simone process languages (Q1575273) (← links)
• Divide and congruence. II: From decomposition of modal formulas to preservation of delay and weak bisimilarity (Q1680509) (← links)
• Rule formats for compositional non-interference properties (Q1878717) (← links)
• Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation (Q1878718) (← links)
• Ensuring liveness properties of distributed systems: open problems (Q2011206) (← links)
• Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence (Q2272990) (← links)
• Modular Structural Operational Semantics with Strategies (Q2866312) (← links)
• A Congruence Rule Format with Universal Quantification (Q2871833) (← links)
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway (Q3453754) (← links)
• Divide and congruence III: Stability & divergence (Q5111628) (← links)