Pages that link to "Item:Q877025"
From MaRDI portal
The following pages link to SOS formats and meta-theory: 20 years after (Q877025):
Displaying 33 items.
- Modelling and analysing neural networks using a hybrid process algebra (Q264526) (← links)
- Rule formats for determinism and idempotence (Q433348) (← links)
- Some undecidable properties of SOS specifications (Q511941) (← links)
- SOS rule formats for zero and unit elements (Q549170) (← links)
- Structural operational semantics through context-dependent behaviour (Q638568) (← links)
- A precongruence format for should testing preorder (Q974134) (← links)
- SOS specifications for uniformly continuous operators (Q1678172) (← links)
- Rule formats for distributivity (Q1758150) (← links)
- Probabilistic divide \& congruence: branching bisimilarity (Q2007735) (← links)
- Expressiveness of component-based frameworks: a study of the expressiveness of BIP (Q2216474) (← links)
- Dynamic structural operational semantics (Q2329443) (← links)
- A unified rule format for bounded nondeterminism in SOS with terms as labels (Q2403821) (← links)
- SOS rule formats for idempotent terms and idempotent unary operators (Q2436519) (← links)
- A general SOS theory for the specification of probabilistic transition systems (Q2629851) (← links)
- Implicit Propagation in Structural Operational Semantics (Q2810689) (← links)
- Structural Operational Semantics with First-Order Logic (Q2810690) (← links)
- A Congruence Rule Format with Universal Quantification (Q2871833) (← links)
- Proving the validity of equations in GSOS languages using rule-matching bisimilarity (Q2883120) (← links)
- Weak Bisimulation as a Congruence in MSOS (Q2945724) (← links)
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi (Q2974795) (← links)
- On Rule Formats for Zero and Unit Elements (Q3178250) (← links)
- Nominal SOS (Q3178277) (← links)
- (Q3385646) (← links)
- A Pre-congruence Format for XY-simulation (Q3455865) (← links)
- A Rule Format for Associativity (Q3541037) (← links)
- A Notion of Glue Expressiveness for Component-Based Systems (Q3541041) (← links)
- (Q4972733) (← links)
- (Q5013870) (← links)
- (Q5015356) (← links)
- Coverability Synthesis in Parametric Petri Nets (Q5111622) (← links)
- (Q5111623) (← links)
- (Q5228882) (← links)
- Back to the format: a survey on SOS for probabilistic processes (Q6151619) (← links)
