Abstract Continuation Semantics for Asynchronous Concurrency | IEEE Conference Publication | IEEE Xplore