Pages that link to "Item:Q5897764"
From MaRDI portal
The following pages link to FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Q5897764):
Displaying 7 items.
- Coinductive counting: bisimulation in enumerative combinatorics (extended abstract) (Q2842562) (← links)
- Bisimulation Congruences in the Calculus of Looping Sequences (Q3525142) (← links)
- Deriving Bisimulation Congruences with Borrowed Contexts (Q3612482) (← links)
- On Bisimulation Theory in Linear Higher-Order π-Calculus (Q3651244) (← links)
- (Q4219048) (← links)
- (Q4415246) (← links)
- Computational and Information Science (Q5491619) (← links)