Gérard Boudol. Typing the Use of Resources in a Concurrent Calculus (Extended Abstract). In R. K. Shyamasundar, Kazunori Ueda, editors, Advances in Computing Science - ASIAN 97, Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings. Volume 1345 of Lecture Notes in Computer Science, pages 239-253, Springer, 1997.
@inproceedings{Boudol97:0,
title = {Typing the Use of Resources in a Concurrent Calculus (Extended Abstract)},
author = {Gérard Boudol},
year = {1997},
researchr = {https://researchr.org/publication/Boudol97%3A0},
cites = {0},
citedby = {0},
pages = {239-253},
booktitle = {Advances in Computing Science - ASIAN 97, Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997, Proceedings},
editor = {R. K. Shyamasundar and Kazunori Ueda},
volume = {1345},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-63875-X},
}