Simone Tini

Identifiers

No identifiers captured yet.

Papers (2)

1. Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics cs.LO · 2017 · author #2
2. Compositional bisimulation metric reasoning with Probabilistic Process Calculi cs.LO · 2016 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Daniel Gebler 1 shared papers
• Kim G. Larsen 1 shared papers
• Kirstin Peters 1 shared papers