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.

Using Coloured Petri Nets for Resource Analysis of Active Objects

Anastasia Gkolfi, Einar Broch Johnsen, Lars Michael Kristensen, Ingrid Chieh Yu. Using Coloured Petri Nets for Resource Analysis of Active Objects. In Kyungmin Bae, Peter Csaba Ölveczky, editors, Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings. Volume 11222 of Lecture Notes in Computer Science, pages 156-174, Springer, 2018. [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