A Synchronization Flow Analysis of Concurrent Objects in AIBO OPEN-R Programs Based on Communicating Processes | IEEE Conference Publication | IEEE Xplore