Active Objects and Futures: A Concurrency Abstraction Implemented for C♯ and .NET