The following pages link to I. Fábregas (Q2403820):
Displaying 12 items.
- A unified rule format for bounded nondeterminism in SOS with terms as labels (Q2403821) (← links)
- When are prime formulae characteristic? (Q2422016) (← links)
- Logical characterisations, rule formats and compositionality for input-output conformance simulation (Q2423772) (← links)
- Non-strongly Stable Orders Also Define Interesting Simulation Relations (Q2888489) (← links)
- Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations (Q2894568) (← links)
- When Are Prime Formulae Characteristic? (Q2946326) (← links)
- Logical Characterisations and Compositionality of Input-Output Conformance Simulation (Q2971123) (← links)
- Reflection and Preservation of Properties in Coalgebraic (bi)Simulations (Q3525087) (← links)
- (Q4963897) (← links)
- (Q4965855) (← links)
- (Q4972733) (← links)
- Coverability Synthesis in Parametric Petri Nets (Q5111622) (← links)
