Daniel Gebler

Identifiers

No identifiers captured yet.

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

No mention provenance yet.

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