Reference20 articles.
1. M. Abadi and L. Lamport. An old-fashioned recipe for real-time. ACM Transactions on Programming Languages and Systems, 16: 1543–1571, 1994.
2. S. Abramsky. Retracing some paths in process algebra. In Proc. CONCUR’96, LNCS 1119, pages 1–17, 1996.
3. J.R. Abrial. The B Book: Assigning Programs to Meaning. Cambridge University Press, 1996.
4. G. Agha, I. A. Mason, S. Smith, and C. Talcott. A foundation for actor computation. Journal of Functional Programming, 7: 1–72, 1997.
5. M. Broy. Functional specification of time sensitive communication systems. ACM Transaction on Software Engineering and Methodology, 2: 1–46, 1993.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献