Temporal verification of carrier-sense local area network protocols
暂无分享,去创建一个
Dennis Shasha | Amir Pnueli | W. Ewald | D. Shasha | A. Pnueli | W. Ewald
[1] Robert Metcalfe,et al. Ethernet: distributed packet switching for local computer networks , 1988, CACM.
[2] S. Owicki,et al. Verifying properties of parallel programs: an axiomatic approach , 1976, CACM.
[3] Edmund M. Clarke. Proving the correctness of coroutines without history variables , 1978, ACM-SE 16.
[4] Edmund M. Clarke. Proving correctness of coroutines without history variables , 1980, Acta Informatica.
[5] Zohar Manna,et al. Verification of Concurrent Programs: Temporal Proof Principles , 1981, Logic of Programs.
[6] Ben C. Moszkowski,et al. A Temporal Logic for Multi-Level Reasoning About Hardware, , 1982 .
[7] Leslie Lamport,et al. Proving Liveness Properties of Concurrent Programs , 1982, TOPL.
[8] P. M. Melliar-Smith,et al. An interval logic for higher-level temporal reasoning , 1983, PODC '83.
[9] Willem P. de Roever,et al. Real-time programming and asynchronous message passing , 1983, PODC '83.
[10] Amir Pnueli,et al. On the extremely fair treatment of probabilistic algorithms , 1983, STOC.
[11] Brent Hailpern,et al. Modular Verification of Computer Communication Protocols , 1983, IEEE Trans. Commun..
[12] Zohar Manna,et al. A Hardware Semantics Based on Temporal Intervals , 1983, ICALP.