Anastasia Gkolfi

English version of this page
Brukernavn
Besøksadresse Gaustadalléen 23B Ole-Johan Dahls hus 0373 OSLO
Postadresse Postboks 1080 Blindern 0316 OSLO

Publikasjoner

  • 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

Se alle arbeider i Cristin

Publisert 6. okt. 2015 14:50