Author:
Alpern Bowen,Demers Alan J.,Schneider Fred B.
Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference3 articles.
1. Proving the correctness of multiprocess programs;Lamport;IEEE Trans. Software Engrg.,1977
2. What good is temporal logic?;Lamport,1983
3. Logical foundation;Lamport,1985
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. What can we monitor over unreliable channels?;International Journal on Software Tools for Technology Transfer;2021-06-30
2. The Multiple Dimensions of Mean-Payoff Games;Lecture Notes in Computer Science;2017
3. Probably safe or live;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14
4. An abstract interpretation-based model for safety semantics;International Journal of Computer Mathematics;2011-03
5. EPspectra: a formal toolkit for developing DSP software applications;Theory and Practice of Logic Programming;2006-06-21