most citedTree rules in probabilistic transition system specifications with negative and quantitative premises

17 citations · 17 across the 1 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2018

Bisimilarity of Open Terms in Stream GSOS

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…