The Linear Time-Branching Time Spectrum (Extended Abstract).
CONCUR '90: Proceedings on Theories of concurrency : unification and extension: unification and extension（1990）
关键词
Label Transition System, Trace Semantic, Semantic Equivalence, Complete Trace, Readiness Semantic
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要