@杂项{zbMATH04085006,作者={Reisig,Wolfgang},标题={并发系统中的时间逻辑和因果关系},年份={1988},语言={英语},HowPublished={Concurrency'88,{Proc}。{国际}。{确认}。,{汉堡}/{FRG}1988,{Lect}。{注释}{计算}。{科学}。335, 121-139 (1988).},关键词={68Q65,68Q85,03B70},zbMATH={4085006},Zbl={0663.68039}}