Tahiry Rabehaja
Identifiers
- name variant Tahiry Rabehaja 0.60 · backfill
Papers (3)
- Probabilistic Rely-guarantee Calculus cs.LO · 2014 · author #2
- An Event Structure Model for Probabilistic Concurrent Kleene Algebra cs.LO · 2013 · author #2
- Weak Concurrent Kleene Algebra with Application to Algebraic Verification cs.FL · 2013 · author #2
Mentions
Frequent Coauthors
- Annabelle McIver 3 shared papers
- Georg Struth 3 shared papers