@article{de_Carvalho_2011,
    doi = {10.1016/j.tcs.2010.12.017},
    url = {https://doi.org/10.1016%2Fj.tcs.2010.12.017},
    year = {2011},
    month = {apr},
    publisher = {Elsevier {BV}},
    volume = {412},
    number = {20},
    pages = {1884--1902},
    author = {D. de Carvalho and M. Pagani and L. Tortora de Falco},
    title = {A semantic measure of the execution time in linear logic},
    journal = {Theoretical Computer Science}
}

@article{de_Carvalho_2011, doi = {10.1016/j.tcs.2010.12.017}, url = {https://doi.org/10.1016%2Fj.tcs.2010.12.017}, year = {2011}, month = {apr}, publisher = {Elsevier {BV}}, volume = {412}, number = {20}, pages = {1884--1902}, author = {D. de Carvalho and M. Pagani and L. Tortora de Falco}, title = {A semantic measure of the execution time in linear logic}, journal = {Theoretical Computer Science} }