Integrating concurrency and object-orientation using boolean, access and path guards | IEEE Conference Publication | IEEE Xplore