Denis Caromel, Ludovic Henrio, Bernard P. Serpette
Asynchronous and deterministic objects
POPL, 2004.
@inproceedings{POPL-2004-CaromelHS, author = "Denis Caromel and Ludovic Henrio and Bernard P. Serpette", booktitle = "{Proceedings of the 31st Symposium on Principles of Programming Languages}", doi = "10.1145/964001.964012", editor = "Neil D. Jones and Xavier Leroy", isbn = "1-58113-729-X", pages = "123--134", publisher = "{ACM}", title = "{Asynchronous and deterministic objects}", year = 2004, }