Pages that link to "Item:Q511941"
From MaRDI portal
The following pages link to Some undecidable properties of SOS specifications (Q511941):
Displaying 4 items.
- Distributive laws for monotone specifications (Q2329307) (← links)
- Logical characterisations, rule formats and compositionality for input-output conformance simulation (Q2423772) (← links)
- Logical Characterisations and Compositionality of Input-Output Conformance Simulation (Q2971123) (← links)
- (Q5014802) (← links)
