Eindhoven)

Identifiers

• name variant Eindhoven) 0.60 · backfill

Papers (2)

1. Rooted branching bisimulation as a congruence for probabilistic transition systems cs.LO · 2015 · author #5
2. A Definition Scheme for Quantitative Bisimulation cs.LO · 2015 · author #6

Mentions

• 1509.08564 #5 · backfill · confidence 0.70 Eindhoven)
• 1509.08563 #6 · backfill · confidence 0.70 Eindhoven)

Frequent Coauthors

• Cordoba) 1 shared papers
• Diego Latella (CNR/ISTI 1 shared papers
• Erik de Vink (TU/e 1 shared papers
• Erik P. de Vink (TU/e 1 shared papers
• Matias D. Lee (FaMAF 1 shared papers
• Mieke Massink (CNR/ISTI 1 shared papers
• Pisa) 1 shared papers
• UNC-CONICET 1 shared papers