17 citations · 22 across the 5 of their papers we have counts for
1 paper · 2 filters
Filippo Bonchi, Tom van Bussel, Matias David Lee +1
Stream GSOS is a specification format for operations and calculi on infinite sequences. The notion of bisimilarity provides a canonical proof technique for equivalence of closed te…