Extracting threads from concurrent objects for the design of embedded systems.

Mitsutaka Okazaki, Toshiaki Aoki, Takuya Katayama

Browse the full APSEC paper archive.