External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Maude Specification of Nets-Within-Nets: A Formal Model of Adaptable Distributed Systems

Lorenzo Capra, Michael Köhler-Bußmeier. Maude Specification of Nets-Within-Nets: A Formal Model of Adaptable Distributed Systems. In Jiman Hong, Maart Lanperne, Juw Won Park, Tomás Cerný, Hossain Shahriar, editors, Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, SAC 2023, Tallinn, Estonia, March 27-31, 2023. pages 188-191, ACM, 2023. [doi]

Authors

Lorenzo Capra

This author has not been identified. Look up 'Lorenzo Capra' in Google

Michael Köhler-Bußmeier

This author has not been identified. Look up 'Michael Köhler-Bußmeier' in Google
runs on