A Synchronization Flow Analysis of Concurrent Objects in AIBO OPEN-R Programs Based on Communicating Processes.
Ryo SuetsuguShoji YuenKiyoshi AgusaPublished in: APSEC (2007)
Keyphrases
- flow analysis
- concurrent programs
- concurrent processes
- information flow
- runtime environment
- communication channels
- multiple objects
- object model
- moving objects
- attribute values
- forensic analysis
- d objects
- spatial relationships
- data objects
- sharing information
- data processing
- object oriented languages
- object oriented
- data model