Reasoning About Concurrency: Scenarios for Activities.
ACM SIGSOFT Software Engineering Notes（2018）
关键词
RESOLVE, computer science education, concurrency, software engineering
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要
ACM SIGSOFT Software Engineering Notes（2018）