Treffer 1 - 20 von 134 für Suche 'Hernán Melgratti', Suchdauer: 0,96s Treffer weiter einschränken
  1. 1
    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:
  2. 2
    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:
  3. 3
    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:
  4. 4
    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:
  5. 5
    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:
  6. 6
    Towards refinable choreographies

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


    Volltext
    Artikel

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

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


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    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:
  9. 9
    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:
  10. 10
    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:
  11. 11
    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:
  12. 12
    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:
  13. 13
    Reversing P/T Nets

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


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    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:
  15. 15
    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:
  16. 16
    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:
  17. 17
    Petri nets, Probabilities and Bayesian reasoning: Invited Presentation at the 12th Interaction and Concurrency Experience

    Petri nets, Probabilities and Bayesian reasoning: Invited Presentation at the 12th Interaction and Concurrency Experience von Melgratti, Hernán


    Volltext
    Artikel

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

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


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    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:
  20. 20
    Event Structure Semantics for Nominal Calculi

    Event Structure Semantics for Nominal Calculi von Bruni, Roberto, Melgratti, Hernán, Montanari, Ugo


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: