Treffer 1 - 20 von 134 für Suche 'Melgratti, Hernan', Suchdauer: 0,84s Treffer weiter einschränken
  1. 1
    Reversing Place Transition Nets

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


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Towards Refinable Choreographies

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


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  3. 3
    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:
  4. 4
    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:
  5. 5
    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:
  6. 6
    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:
  7. 7
    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:
  8. 8
    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:
  9. 9
    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:
  10. 10
    Towards refinable choreographies

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


    Volltext
    Artikel

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

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


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    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:
  13. 13
    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:
  14. 14
    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:
  15. 15
    CONCUR 2013 - Concurrency Theory: 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings

    CONCUR 2013 - Concurrency Theory: 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings von D'Argenio, Pedro R, Melgratti, Hernan

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  16. 16
    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:
  17. 17
    From Theory to Practice in Transactional Composition of Web Services

    From Theory to Practice in Transactional Composition of Web Services von Bruni, Roberto, Ferrari, Gianluigi, Melgratti, Hernán, Montanari, Ugo, Strollo, Daniele, Tuosto, Emilio


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Contracts for Abstract Processes in Service Composition

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


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    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:
  20. 20
    Reversing P/T Nets

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


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: