A fully abstract semantics for a concurrent functional language with monadic types | IEEE Conference Publication | IEEE Xplore