Tahiry Rabehaja

Identifiers

• name variant Tahiry Rabehaja 0.60 · backfill

Papers (3)

1. Probabilistic Rely-guarantee Calculus cs.LO · 2014 · author #2
2. An Event Structure Model for Probabilistic Concurrent Kleene Algebra cs.LO · 2013 · author #2
3. Weak Concurrent Kleene Algebra with Application to Algebraic Verification cs.FL · 2013 · author #2

Mentions

• 1409.0582 #2 · backfill · confidence 0.70 Tahiry Rabehaja
• 1310.2320 #2 · backfill · confidence 0.70 Tahiry Rabehaja
• 1301.7153 #2 · backfill · confidence 0.70 Tahiry Rabehaja

Frequent Coauthors

• Annabelle McIver 3 shared papers
• Georg Struth 3 shared papers