Pages that link to "Item:Q1012119"
From MaRDI portal
The following pages link to Semantics and expressiveness of ordered SOS (Q1012119):
Displaying 17 items.
- Rule formats for determinism and idempotence (Q433348) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Partial order semantics and read arcs (Q1608891) (← links)
- Rule formats for distributivity (Q1758150) (← links)
- Ordered SOS process languages for branching and eager bisimulations (Q1854563) (← links)
- A generalization of ordered-pair semantics (Q2148827) (← links)
- Expressiveness of component-based frameworks: a study of the expressiveness of BIP (Q2216474) (← links)
- Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence (Q2272990) (← links)
- Structural operational semantics with first-order logic (Q2810690) (← links)
- Modular Semantics for Transition System Specifications with Negative Premises (Q2842096) (← links)
- A hierarchy of SOS rule formats (Q2852093) (← links)
- Semantics of MML query -- ordering (Q2852181) (← links)
- A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway (Q3453754) (← links)
- (Q5015356) (← links)
- A semantic approach to order-sorted rewriting (Q5055784) (← links)
- The Meaning of Ordered SOS (Q5385997) (← links)
- Interpreting knowledge-based programs (Q6535240) (← links)