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):
Displaying 10 items.
- A syntactic commutativity format for SOS (Q835035) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- A precongruence format for should testing preorder (Q974134) (← 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)
- Ensuring liveness properties of distributed systems: open problems (Q2011206) (← links)
- Automating Soundness Proofs (Q2810691) (← links)
