Author:
Gawlick Rainer,Segala Roberto,Søgaard-Andersen Jørgen,Lynch Nancy
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. M. Abadi and L. Lamport. An old-fashioned recipe for real time. In [5], pages 1–27.
2. M. Abadi and L. Lamport. Composing specifications. TOPLAS, 15(1):73–132, 1993.
3. B. Alpern and F. Schneider. Defining liveness. IPL, 21(4):181–185, 1985.
4. Proceedings of CONCUR 92, Stony Brook, NY, USA, LNCS 630, 1992.
5. Proceedings of the REX Workshop “Real-Time: Theory in Practice”, LNCS 600, 1991.
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献