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 6 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)
- Ordered SOS process languages for branching and eager bisimulations (Q1854563) (← links)
- Automated synthesis of enforcing mechanisms for security properties in a timed setting (Q2866731) (← links)