A capability calculus for concurrency and determinism (2006)

by Tachio Terauchi , Alex Aiken
Venue:In CONCUR 2006 - Concurrency Theory, 17th International Conference, Proceedings
Citations:18 - 2 self