Daniel Gebler

Identifiers

• name variant Daniel Gebler 0.60 · backfill

Papers (3)

1. Compositional bisimulation metric reasoning with Probabilistic Process Calculi cs.LO · 2016 · author #1
2. Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics cs.LO · 2016 · author #1
3. Modal Characterisations of Behavioural Pseudometrics cs.LO · 2015 · author #3

Mentions

• 1509.03391 #3 · backfill · confidence 0.70 Daniel Gebler

Frequent Coauthors

• Kim G. Larsen 1 shared papers
• Kirstin Peters 1 shared papers
• Simone Tini 1 shared papers
• Wenjie Du 1 shared papers
• Yuxin Deng 1 shared papers