Pages that link to "Item:Q2848127"
From MaRDI portal
The following pages link to From bialgebraic semantics to congruence formats (Q2848127):
Displaying 6 items.
- On cool congruence formats for weak bisimulations (Q549196) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
- A format for semantic equivalence comparison (Q1884897) (← links)
- A congruence format for name-passing calculi (Q2852102) (← links)
- Bialgebraic methods in structural operational semantics (invited talk) (Q2866314) (← links)