@inproceedings{giachino15facs,
  author    = {Elena Giachino and Einar Broch Johnsen and Cosimo Laneve and Ka I Pun},
  title     = {Time Complexity of Concurrent Programs - A Technique Based on Behavioural Types -},
  booktitle = {Proc. 12th International Conference on Formal Aspects of Component Software (FACS 2015)},
  pages     = {199--216},
  year      = {2016},
  editor    = {Christiano Braga and Peter Csaba {\"{O}}lveczky},
  series    = {Lecture Notes in Computer Science},
  volume    = {9359},
  publisher = {Springer-Verlag},
}