Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.
Filtrer
Konferencebidrag i proceedings

Søgeresultater

  • 2020

    Computing Embeddings of Directed Bigraphs

    Chiapperini, A., Miculan, M. & Peressotti, M., 2020, Graph Transformation - 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Proceedings. Gadducci, F. & Kehrer, T. (red.). Springer, s. 38-56 (Lecture Notes in Computer Science, Bind 12150).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • Towards a formal model for composable container systems

    Burco, F., Miculan, M. & Peressotti, M., 30. mar. 2020, 35th Annual ACM Symposium on Applied Computing, SAC 2020. Association for Computing Machinery, s. 173-175

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • 2019

    No more, no less: A formal model for serverless computing

    Gabbrielli, M., Giallorenzo, S., Lanese, I., Montesi, F., Peressotti, M. & Zingaro, S. P., 2019, Coordination Models and Languages. COORDINATION 2019. Riis Nielson, H. & Tuosto, E. (red.). Springer, s. 148-157 (Lecture Notes in Computer Science, Bind 11533).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    33 Downloads (Pure)
  • Taking Linear Logic Apart

    Kokke, W., Montesi, F. & Peressotti, M., 15. apr. 2019, Proceedings of the Joint International Workshop on Linearity Trends in linear Logic and Applications. Ehrhard, T., Fernández, M., de Paiva, V. & Tortora de Falco, L. (red.). Open Publishing Association, Bind 292. s. 90-103 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 292).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    133 Downloads (Pure)
  • 2018

    Communications in choreographies, revisited

    Cruz-Filipe, L., Montesi, F. & Peressotti, M., 9. apr. 2018, Proceedings of the 33rd Annual ACM Symposium on Applied Computing. Association for Computing Machinery, s. 1248-1255

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Fil
    200 Downloads (Pure)
  • Loose Graph Simulations

    Mansutti, A., Miculan, M. & Peressotti, M., 2018, Software Technologies: Applications and Foundations: STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers. Seidl, M. & Zschaler, S. (red.). Springer, s. 109-126 (Lecture Notes in Computer Science, Bind 10748). (Programming and Software Engineering, Bind 10748).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • 2017

    Stratifying semantic data for citation and trust: An introduction to RDFDF

    De Nart, D., Degl’Innocenti, D., Peressotti, M. & Tasso, C., 8. apr. 2017, Digital Libraries and Multimedia Archives - 12th Italian Research Conference on Digital Libraries, IRCDL 2016, Revised Selected Papers. Springer VS, s. 104-111 (Communications in Computer and Information Science, Bind 701).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • 2016

    A uniform framework for timed automata

    Brengos, T. & Peressotti, M., 1. aug. 2016, 27th International Conference on Concurrency Theory, CONCUR 2016. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Bind 59. 26

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • 2015

    Open transactions on shared memory

    Miculan, M., Peressotti, M. & Toneguzzo, A., 1. jan. 2015, Coordination Models and Languages - 17th IFIP WG 6.1 International Conference, COORDINATION 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Proceedings. Holvoet, T. & Viroli, M. (red.). Springer VS, s. 213-229 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 9037).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • 2014

    Multi-agent systems design and prototyping with bigraphical reactive systems

    Mansutti, A., Miculan, M. & Peressotti, M., 1. jan. 2014, Distributed Applications and Interoperable Systems - 14th IFIP WG 6.1 Int. Conference, DAIS 2014, Held as Part of the 9th Int. Federated Conf. on Distributed Computing Techn. DisCoTec 2014, Proc.. Springer VS, s. 201-208 8 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 8460 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review