近些年来,随着多核硬件以及云平台的兴起,高质量的异步程序(asynchronous programs)变得越来越重要。而在实时(real-time)系统中,......

已有的实时系统模型无法动态创建新进程.为此,基于时间自动机模型,提出了异步多进程时间自动机模型,将每个进程抽象为进程时间自动......