Correctness of a Concurrent Object Collector for Actor Languages.

Juliana Franco, Sylvan Clebsch, Sophia Drossopoulou, Jan Vitek, Tobias Wrigstad

Browse the full ESOP paper archive.