Treffer 1 - 20 von 164 für Suche 'MELGRATTI, HERNÁN', Suchdauer: 1,26s Treffer weiter einschränken
  1. 1
    Bayesian network semantics for Petri nets

    Bayesian network semantics for Petri nets von Bruni, Roberto, Melgratti, Hernán, Montanari, Ugo

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Categorical specification and implementation of Replicated Data Types

    Categorical specification and implementation of Replicated Data Types von Gadducci, Fabio, Melgratti, Hernán, Roldán, Christian, Sammartino, Matteo

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    A Petri net view of covalent bonds

    A Petri net view of covalent bonds von Melgratti, Hernán, Mezzina, Claudio Antares, Pinna, G. Michele

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    A Reversible Perspective on Petri Nets and Event Structures

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


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Towards refinable choreographies

    Towards refinable choreographies von de'Liguoro, Ugo, Melgratti, Hernán, Tuosto, Emilio


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Concurrency and Probability: Removing Confusion, Compositionally

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


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    On the semantics and implementation of replicated data types

    On the semantics and implementation of replicated data types von Gadducci, Fabio, Melgratti, Hernán, Roldán, Christian

    Veröffentlicht in Science of computer programming

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Multiparty testing preorders

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


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Chaperone contracts for higher-order sessions

    Chaperone contracts for higher-order sessions von Melgratti, Hernán, Padovani, Luca


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Connector algebras for C/E and P/T nets' interactions

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


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    On the behaviour of general purpose applications on cloud storages

    On the behaviour of general purpose applications on cloud storages von Bocchi, Laura, Melgratti, Hernán


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Towards a Truly Concurrent Semantics for Reversible CCS

    Towards a Truly Concurrent Semantics for Reversible CCS von Melgratti, Hernán, Mezzina, Claudio Antares, Pinna, G. Michele


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Reversing Place Transition Nets

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


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    cJoin: Join with communicating transactions

    cJoin: Join with communicating transactions von BRUNI, ROBERTO, MELGRATTI, HERNÁN, MONTANARI, UGO


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Reversing P/T Nets

    Reversing P/T Nets von Melgratti, Hernán, Mezzina, Claudio Antares, Ulidowski, Irek


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Relating Reversible Petri Nets and Reversible Event Structures, Categorically

    Relating Reversible Petri Nets and Reversible Event Structures, Categorically von Melgratti, Hernán, Mezzina, Claudio Antares, Pinna, G. Michele


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Event Structures for Petri nets with Persistence

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


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    A Normal Form for Stateful Connectors

    A Normal Form for Stateful Connectors von Bruni, Roberto, Melgratti, Hernán, Montanari, Ugo


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    A Choreography-Driven Approach to APIs: The OpenDXL Case Study

    A Choreography-Driven Approach to APIs: The OpenDXL Case Study von Frittelli, Leonardo, Maldonado, Facundo, Melgratti, Hernán, Tuosto, Emilio


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    A Connector Algebra for P/T Nets Interactions

    A Connector Algebra for P/T Nets Interactions von Bruni, Roberto, Melgratti, Hernán, Montanari, Ugo


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: