A theory of recursive domains with applications to concurrency | IEEE Conference Publication | IEEE Xplore