Search Results - Simone Tini

  • Showing 1 - 5 results of 5
Refine Results
  1. 1

    Logical Characterization of Trace Metrics by Valentina Castiglioni, Simone Tini

    Get full text
    Article


  2. 2

    Equational Reasonings in Wireless Network Gossip Protocols by Ruggero Lanotte, Massimo Merro, Simone Tini

    Published in Logical Methods in Computer Science (2018-09-01)
    Get full text
    Article


  3. 3

    SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes by Valentina Castiglioni, Daniel Gebler, Simone Tini

    Published in Logical Methods in Computer Science (2018-06-01)
    Get full text
    Article


  4. 4

    A framework to measure the robustness of programs in the unpredictable environment by Valentina Castiglioni, Michele Loreti, Simone Tini

    Published in Logical Methods in Computer Science (2023-07-01)
    Get full text
    Article


  5. 5

    Compositional bisimulation metric reasoning with Probabilistic Process Calculi by Daniel Gebler, Kim G. Larsen, Simone Tini

    Published in Logical Methods in Computer Science (2017-04-01)
    Get full text
    Article


Search Tools: