Pages that link to "Item:Q1878716"

The following pages link to Axiomatizing GSOS with termination (Q1878716):

Displaying 9 items.

• SOS rule formats for zero and unit elements (Q549170) (← links)
• SOS formats and meta-theory: 20 years after (Q877025) (← links)
• Generating priority rewrite systems for OSOS process languages (Q1012121) (← links)
• SOS rule formats for idempotent terms and idempotent unary operators (Q2436519) (← links)
• Axiomatizing weak simulation semantics over BCCSP (Q2453533) (← links)
• Notions of bisimulation and congruence formats for SOS with data (Q2486401) (← links)
• Proving the validity of equations in GSOS languages using rule-matching bisimilarity (Q2883120) (← links)
• The Equational Theory of Weak Complete Simulation Semantics over BCCSP (Q2891363) (← links)
• Axiomatizing Weak Ready Simulation Semantics over BCCSP (Q3105742) (← links)