@inproceedings{marion:hal-01084043, TITLE = {{Complexity Information Flow in a Multi-threaded Imperative Language}}, AUTHOR = {Marion, Jean-Yves and P{\'e}choux, Romain}, URL = {https://inria.hal.science/hal-01084043}, BOOKTITLE = {{TAMC 2014}}, ADDRESS = {Chennai, India}, EDITOR = {T. V. Gopal and Manindra Agrawal and Angsheng Li and S. Barry Cooper}, PUBLISHER = {{Springer}}, SERIES = {Theory and Applications of Models of Computation.}, PAGES = {124 - 140}, YEAR = {2014}, MONTH = Apr, DOI = {10.1007/978-3-319-06089-7\_9}, KEYWORDS = {implicit complexity ; multi-threaded ; tiering}, PDF = {https://inria.hal.science/hal-01084043/file/hulotte.pdf}, HAL_ID = {hal-01084043}, HAL_VERSION = {v1}, }