Pages that link to "Item:Q1575273"
From MaRDI portal
The following pages link to Finite axiom systems for testing preorder and De Simone process languages (Q1575273):
Displayed 6 items.
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Generating priority rewrite systems for OSOS process languages (Q1012121) (← links)
- Finite axiom systems for testing preorder and De Simone process languages (Q1575273) (← links)
- Ordered SOS process languages for branching and eager bisimulations (Q1854563) (← links)
- Axiomatizing GSOS with termination (Q1878716) (← links)
- Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation (Q1878718) (← links)