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.

Model Checking Starvation for Resource-aware Active Objects with Coloured Petri Nets

Anastasia Gkolfi, Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu. Model Checking Starvation for Resource-aware Active Objects with Coloured Petri Nets. In Michael Köhler-Bußmeier, Ekkart Kindler, Heiko Rölke, editors, Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), Paris, France, June 24, 2020 (due to COVID-19: virtual conference). Volume 2651 of CEUR Workshop Proceedings, pages 68-85, CEUR-WS.org, 2020. [doi]

Authors

Anastasia Gkolfi

This author has not been identified. Look up 'Anastasia Gkolfi' in Google

Einar Broch Johnsen

This author has not been identified. Look up 'Einar Broch Johnsen' in Google

Lars Michael Kristensen

This author has not been identified. Look up 'Lars Michael Kristensen' in Google

Ingrid Chieh Yu

This author has not been identified. Look up 'Ingrid Chieh Yu' in Google
runs on