16 citations · 69 across the 27 of their papers we have counts for
1 paper · 2 filters
Wiktor B. Daszczuk
Timed Concurrent State Machines are an application of Alur's Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea of…