A theory of conjunction and concurrency | IEEE Conference Publication | IEEE Xplore