Reentrant Statecharts for Concurrent Real-Time Systems.

Minsoo Ryu, Jimin Kim, Ji Chan Maeng

Browse the full PDPTA paper archive.