A Synchronization Flow Analysis of Concurrent Objects in AIBO OPEN-R Programs Based on Communicating Processes.

Ryo Suetsugu, Shoji Yuen, Kiyoshi Agusa

Browse the full APSEC paper archive.