A Design and Implementation Method for Embedded Systems Using Communicating Sequential Processes with an Event-Driven and Multi-Thread Processor.

Ryo Mizutani, Kenji Ohmori

Browse the full CW paper archive.