Pages that link to "Item:Q5705905"
From MaRDI portal
The following pages link to Foundations of Software Science and Computational Structures (Q5705905):
Displaying 8 items.
- Structural congruence for bialgebraic semantics (Q338626) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- A compositional coalgebraic model of fusion calculus (Q2373651) (← links)
- Reversing algebraic process calculi (Q2643334) (← links)
- Automating soundness proofs (Q2810691) (← links)
- Bialgebraic methods in structural operational semantics (invited talk) (Q2866314) (← links)
- A notion of congruence for dtsPBC (Q2882947) (← links)
- Weak Bisimulation as a Congruence in MSOS (Q2945724) (← links)