Pages that link to "Item:Q1878718"
From MaRDI portal
The following pages link to Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation (Q1878718):
Displaying 5 items.
- Rule formats for determinism and idempotence (Q433348) (← 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)
- Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting (Q2866731) (← links)
