Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. A. Abramsky, Semantics of interaction: an introduction to Game Semantics, Proc. of the 1996 CLiCS Summer School,ed. P. Dybjer and A. Pitts, 1–31, Cambridge Press, 1997
2. B. Alpern and F. B. Schneider, Defining liveness, Information Processing Letters, 21: 181–185, 1985.
3. K. M. Chandy and J. Misra, Parallel Program Design: A Foundation, Addison-Wesley, 1988.
4. Y. Chen, Specification for reactive bulk-synchronous programming, Proc. 8th Euromicro Workshop on Parallel and Distributed Processing: 190–196, IEEE computer society press, 2000.
5. Y. Chen, Formal Methods for Bulk-Synchronous Programming, DPhil. Thesis, Oxford University Computing Laboratory, to appear 2000.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Fixpoint Theory for Non-monotonic Parallelism;Computer Science Logic;2002
2. Logic of Global Synchrony;Lecture Notes in Computer Science;2001