Towards a truly concurrent model for processes sharing resources | IEEE Conference Publication | IEEE Xplore