98 citations · 569 across the 35 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016
MALL proof nets identify proofs modulo rule commutation
Rob van Glabbeek, Dominic Hughes
We show that the proof nets introduced in [Hughes & van Glabbeek 2003, 2005] for MALL (Multiplicative Additive Linear Logic, without units) identify cut-free proofs modulo rule com…
cs.LO2016★ 8 cited
Divide and Congruence II: From Decomposition of Modal Formulas to Preservation of Delay and Weak Bisimilarity
Wan Fokkink, Rob van Glabbeek
Earlier we presented a method to decompose modal formulas for processes with the internal action , and congruence formats for branching and -bisimilarity were derived on the…