Author:
Xie Fei,Yang Guowu,Song Xiaoyu
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic. In: Proc. of Logic of Programs Workshop (1981)
2. Quielle, J.P., Sifakis, J.: Specification and verification of concurrent systems in CESAR. In: Proc. of Symposium on Programming (1982)
3. Chandy, K.M., Misra, J.: Proofs of networks of processes. IEEE Transaction on Software Engineering 7(4) (1981)
4. Jones, C.B.: Development methods for computer programs including a notion of interference. PhD thesis, Oxford University (1981)
5. Abadi, M., Lamport, L.: Conjoining specifications. TOPLAS 17(3) (1995)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modeling and Analysis of TinyOS Sensor Node Firmware;ACM Transactions on Embedded Computing Systems;2013-01
2. Component-Based Abstraction and Refinement;Lecture Notes in Computer Science