The temporal logic of actions
- 期刊名称ACM Transactions on Programming Languages and Systems
- 作者Lamport, Leslie
- 卷第16卷
- 期第3期
- 印刷ISSN0164-0925
- 文件大小3400.44KB
- 发表时间1994-5-1
- DOI10.1145/177492.177726
- 页码872-923
同期刊推荐
Introducing Our AuthorsACS Synthetic Biology · 2012
Engineered Microbes for Therapeutic ApplicationsHasty, Jeff · ACS Synthetic Biology · 2012
Synthetic Biology of Antimicrobial DiscoveryZakeri, Bijan; Lu, Timothy K. · ACS Synthetic Biology · 2013
Synthetic Biology and Metabolic EngineeringStephanopoulos, Gregory · ACS Synthetic Biology · 2012
Introducing our AuthorsPrithviraj, Ranjini · ACS Synthetic Biology · 2012
Introducing Our AuthorsACS Synthetic Biology · 2012
Introducing Our AuthorsACS Synthetic Biology · 2012
Evolutionary Synthetic BiologyPeisajovich, Sergio G. · ACS Synthetic Biology · 2012