Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system
Keywords: سیستم های بیدرنگ; Actor model; Timed Rebeca; Verification; Realtime systems; Schedulability and deadlock freedom