Anastasia Gkolfi

Norwegian version of this page
Username
Visiting address Gaustadalléen 23B Ole-Johan Dahls hus 0373 OSLO
Postal address Postboks 1080 Blindern 0316 OSLO

Publications

  • Gkolfi, Anastasia; Johnsen, Einar Broch; Kristensen, Lars Michael & Yu, Ingrid Chieh (2017). Resource Management of Cloud-Aware Programs using Coloured Petri Nets, In Marina Walden (ed.),  Proceedings of the 29th Nordic Workshop on Programming Theory.  Turku Centre for Computer Science.  ISBN 978-952-12-3608-2.  Kapittel.  s 31 - 33
  • Gkolfi, Anastasia; Johnsen, Einar Broch; Yu, Ingrid Chieh; Steffen, Martin & Din, Crystal Chang (2017). Translating Active Objects into Colored Petri Nets for Communication Analysis. Lecture Notes in Computer Science.  ISSN 0302-9743.  (10522), s 84- 99 . doi: 10.1007/978-3-319-68972-2_6

View all works in Cristin

Published Oct. 6, 2015 2:50 PM - Last modified Oct. 6, 2015 2:50 PM