Computing Embeddings of Directed Bigraphs

Alessio Chiapperini, Marino Miculan*, Marco Peressotti

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • 2 Article in proceedings
  • 2 Journal article
Filter
Article in proceedings

Search results

  • 2020

    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, p. 173-175

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-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, p. 201-208 8 p. (Lecture Notes in Computer Science, Vol. 8460 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review