Search Results - Mario Bravetti

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

    Axiomatizing Maximal Progress and Discrete Time by Mario Bravetti

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


  2. 2

    Fair Asynchronous Session Subtyping by Mario Bravetti, Julien Lange, Gianluigi Zavattaro

    Published in Logical Methods in Computer Science (2024-10-01)
    Get full text
    Article


  3. 3

    A Sound Algorithm for Asynchronous Session Subtyping and its Implementation by Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro

    Published in Logical Methods in Computer Science (2021-03-01)
    Get full text
    Article


  4. 4

    Adaptable processes by Mario Bravetti, Cinzia Di Giusto, Jorge A Perez, Gianluigi Zavattaro

    Published in Logical Methods in Computer Science (2012-11-01)
    Get full text
    Article


Search Tools: