Pages that link to "Item:Q5900816"
From MaRDI portal
The following pages link to Fundamentals of Computation Theory (Q5900816):
Displaying 7 items.
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
- Characteristic invariants in Hennessy-Milner logic (Q2182678) (← links)
- Compositionality of Hennessy-Milner logic by structural operational semantics (Q2368979) (← links)
- Bialgebraic methods in structural operational semantics (invited talk) (Q2866314) (← links)
- Decompositional Reasoning about the History of Parallel Processes (Q2894548) (← links)
- Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics (Q2912692) (← links)
- Structural operational semantics and modal logic, revisited (Q2919456) (← links)