搜索历史记录选项已关闭，请开启搜索历史记录选项。
作者：
DOI: 10.1002/9781118032541.CH5
关键词:
摘要:
algebraic methodology and software technology,1997, 引用: 5
formal techniques for networked and distributed systems,2006, 引用: 4
Lectures on Concurrency and Petri Nets,2003, 引用: 7
,2000, 引用: 46
,2001, 引用: 66
formal methods,2006, 引用: 1
Distributed Computing,1999, 引用: 4
Information & Computation,2010, 引用: 24
Theoretical Computer Science,1996, 引用: 36
,2005, 引用: 6
sci-hub.st