activity
20102026
most citedDuality of Session Types: The Final Cut

26 citations · 159 across the 29 of their papers we have counts for

collaborators
Showing cs.FLShow all

1 paper · 1 filter

cs.FL2024

Simple grammar bisimilarity, with an application to session type equivalence

Diogo Poças, Gil Silva, Vasco T. Vasconcelos

We provide an algorithm for deciding simple grammar bisimilarity whose complexity is polynomial in the valuation of the grammar (maximum seminorm among production rules). Since the…