Treffer 1 - 20 von 23 für Suche 'Monreale, Valentina', Suchdauer: 1,07s Treffer weiter einschränken
  1. 1
    Modular encoding of synchronous and asynchronous interactions using open Petri nets

    Modular encoding of synchronous and asynchronous interactions using open Petri nets von Baldan, Paolo, Bonchi, Filippo, Gadducci, Fabio, Monreale, Giacoma Valentina

    Veröffentlicht in Science of computer programming

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Concurrency cannot be observed, asynchronously

    Concurrency cannot be observed, asynchronously von BALDAN, PAOLO, BONCHI, FILIPPO, GADDUCCI, FABIO, MONREALE, GIACOMA VALENTINA


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    On Barbs and Labels in Reactive Systems

    On Barbs and Labels in Reactive Systems von Bonchi, Filippo, Gadducci, Fabio, Monreale, Giacoma Valentina


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Asynchronous Traces and Open Petri Nets

    Asynchronous Traces and Open Petri Nets von Baldan, Paolo, Bonchi, Filippo, Gadducci, Fabio, Monreale, Giacoma V.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    From Local to Global Knowledge and Back

    From Local to Global Knowledge and Back von Hoch, Nicklas, Monreale, Giacoma Valentina, Montanari, Ugo, Sammartino, Matteo, Siwe, Alain Tcheukam


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    A General Theory of Barbs, Contexts, and Labels

    A General Theory of Barbs, Contexts, and Labels von Bonchi, Filippo, Gadducci, Fabio, Monreale, Giacoma Valentina


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Tools for Ensemble Design and Runtime

    Tools for Ensemble Design and Runtime von Abeywickrama, Dhaminda B., Combaz, Jacques, Horký, Vojtěch, Keznikl, Jaroslav, Kofroň, Jan, Lafuente, Alberto Lluch, Loreti, Michele, Margheri, Andrea, Mayer, Philip, Monreale, Valentina, Montanari, Ugo, Pinciroli, Carlo, Tůma, Petr, Vandin, Andrea, Vassev, Emil


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    RPO semantics for mobile ambients

    RPO semantics for mobile ambients von BONCHI, FILIPPO, GADDUCCI, FABIO, MONREALE, GIACOMA VALENTINA


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    A Decentralized Implementation of Mobile Ambients

    A Decentralized Implementation of Mobile Ambients von Gadducci, Fabio, Monreale, Giacoma Valentina


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    On Barbs and Labels in Reactive Systems

    On Barbs and Labels in Reactive Systems von Bonchi, Filippo, Gadducci, Fabio, Giacoma, Valentina Monreale

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    LTS Semantics for Process Calculi from Their Graphical Encodings

    LTS Semantics for Process Calculi from Their Graphical Encodings von Monreale, Giacoma Valentina


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Barbed Semantics for Open Reactive Systems

    Barbed Semantics for Open Reactive Systems von Gadducci, Fabio, Monreale, Giacoma Valentina


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Reactive Systems, Barbed Semantics, and the Mobile Ambients

    Reactive Systems, Barbed Semantics, and the Mobile Ambients von Bonchi, Filippo, Gadducci, Fabio, Monreale, Giacoma Valentina


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Concurrency Can’t Be Observed, Asynchronously

    Concurrency Can’t Be Observed, Asynchronously von Baldan, Paolo, Bonchi, Filippo, Gadducci, Fabio, Monreale, Giacoma Valentina


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Saturated LTSs for Adhesive Rewriting Systems

    Saturated LTSs for Adhesive Rewriting Systems von Bonchi, Filippo, Gadducci, Fabio, Monreale, Giacoma Valentina, Montanari, Ugo


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  16. 16
    A Modular LTS for Open Reactive Systems

    A Modular LTS for Open Reactive Systems von Gadducci, Fabio, Monreale, Giacoma Valentina, Montanari, Ugo


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Towards a General Theory of Barbs, Contexts and Labels

    Towards a General Theory of Barbs, Contexts and Labels von Bonchi, Filippo, Gadducci, Fabio, Monreale, Giacoma Valentina


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Soft Constraint Logic Programming for Electric Vehicle Travel Optimization

    Soft Constraint Logic Programming for Electric Vehicle Travel Optimization von Giacoma, Valentina Monreale, Montanari, Ugo, Hoch, Nicklas

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    A decentralised graphical implementation of mobile ambients

    A decentralised graphical implementation of mobile ambients von Gadducci, Fabio, Monreale, Giacoma Valentina


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding)

    Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding) von Bonchi, Filippo, Gadducci, Fabio, Monreale, Giacoma Valentina


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: