Search Results - Hernán Melgratti

Refine Results
  1. 21
    On Resolving Non-determinism in Choreographies

    On Resolving Non-determinism in Choreographies by Laura Bocchi, Hernan Melgratti, Emilio Tuosto

    Get full text
    Article
    Save to List
    Saved in:
  2. 22
    A Truly Concurrent Semantics for Reversible CCS

    A Truly Concurrent Semantics for Reversible CCS by Melgratti, Hernán, Claudio Antares Mezzina, Pinna, G Michele

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  3. 23
    Multiparty testing preorders

    Multiparty testing preorders by Rocco de Nicola, Melgratti, Hernán

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  4. 24
    Towards Refinable Choreographies

    Towards Refinable Choreographies by de'Liguoro, Ugo, Melgratti, Hernán, Tuosto, Emilio

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 25
    Concurrency and Probability: Removing Confusion, Compositionally

    Concurrency and Probability: Removing Confusion, Compositionally by Bruni, Roberto, Melgratti, Hernán, Montanari, Ugo

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 26
    Prototype Platforms for Distributed Agreements

    Prototype Platforms for Distributed Agreements by Baragatti, Alberto, Bruni, Roberto, Melgratti, Hernán, Montanari, Ugo, Spagnolo, Giorgio

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 27
    Behavioural Types for Local-First Software

    Behavioural Types for Local-First Software by Kuhn, Roland, Melgratti, Hernán, Tuosto, Emilio

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 28
    Reversing Place Transition Nets

    Reversing Place Transition Nets by Melgratti, Hernán, Claudio Antares Mezzina, Ulidowski, Irek

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 29
    Relating Reversible Petri Nets and Reversible Event Structures, categorically

    Relating Reversible Petri Nets and Reversible Event Structures, categorically by Melgratti, Hernán, Claudio Antares Mezzina, Pinna, G Michele

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 30
    A Reversible Perspective on Petri Nets and Event Structures

    A Reversible Perspective on Petri Nets and Event Structures by Melgratti, Hernán, Claudio Antares Mezzina, Pinna, G Michele

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 31
    Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics Berlin, Germany, 4th September 2017: Preface

    Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics Berlin, Germany, 4th September 2017: Preface by Mousavi, Mohammad Reza, van Glabbeek, Rob, Dubslaff, Clemens, Baier, Christel, Bruni, Roberto, Melgratti, Hernan, Montanari, Ugo

    Get full text
    Article
    Save to List
    Saved in:
  12. 32
    Probabilistic Analysis of Binary Sessions

    Probabilistic Analysis of Binary Sessions by Inverso, Omar, Melgratti, Hernán, Padovani, Luca, Trubiani, Catia, Tuosto, Emilio

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 33
    Unifying Inference for Bayesian and Petri Nets

    Unifying Inference for Bayesian and Petri Nets by Bruni, Roberto, Melgratti, Hernán, Montanari, Ugo

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 34
    On Resolving Non-determinism in Choreographies

    On Resolving Non-determinism in Choreographies by Bocchi, Laura, Melgratti, Hernan, Tuosto, Emilio

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  15. 35
    Contracts for Abstract Processes in Service Composition

    Contracts for Abstract Processes in Service Composition by Buscemi, Maria Grazia, Melgratti, Hernán

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  16. 36
    Reversible Causal Nets and Reversible Event Structures

    Reversible Causal Nets and Reversible Event Structures by Melgratti, Hernán, Claudio Antares Mezzina, Phillips, Iain, Pinna, G Michele, Ulidowski, Irek

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  17. 37
    Flat Committed Join in Join

    Flat Committed Join in Join by Bruni, Roberto, Melgratti, Hernán, Montanari, Ugo

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  18. 38
    Event Structures for Petri nets with Persistence

    Event Structures for Petri nets with Persistence by Baldan, Paolo, Bruni, Roberto, Corradini, Andrea, Gadducci, Fabio, Melgratti, Hernan, Montanari, Ugo

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  19. 39
    Connector algebras for C/E and P/T nets' interactions

    Connector algebras for C/E and P/T nets' interactions by Bruni, Roberto, Melgratti, Hernan, Montanari, Ugo, Sobocinski, Pawel

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  20. 40
    Theoretical foundations for compensations in flow composition languages

    Theoretical foundations for compensations in flow composition languages by BRUNI, Roberto, MELGRATTI, Hernan, MONTANARI, Ugo

    Get full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: