Static Analysis of Real-time Distributed Systems
暂无分享，去创建一个
[1] Toniann Pitassi,et al. Semantics for Nondeterministic Asynchronous Broadcast Networks , 1987, ICALP.
[2] Tomasz Müldner,et al. On the Algorithmic Properties of Concurrent Programs , 1979, Logic of Programs.
[3] K. R. Apt,et al. Proving correctness of CSP programs, a tutorial , 1986 .
[4] Pierre Wolper. Temporal Logic Can Be More Expressive , 1983, Inf. Control..
[5] Amir Pnueli,et al. Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends , 1986, Current Trends in Concurrency.
[6] Gérard Berry,et al. The ESTEREL Synchronous Programming Language and its Mathematical Semantics , 1984, Seminar on Concurrency.
[7] Richard N. Taylor,et al. A general-purpose algorithm for analyzing concurrent programs , 1983, CACM.
[8] Krzysztof R. Apt,et al. A Static Analysis of CSP Programs , 1983, Logic of Programs.
[9] Aloysius K. Mok,et al. A Graph-Theoretic Approach for Timing Analysis in Real Time Logic , 1986, RTSS.
[10] C. A. R. Hoare,et al. Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.
[11] Willem P. de Roever,et al. Compositional Semantics for Real-time Distributed Computing , 1985, Logic of Programs.
[12] Aloysius K. Mok,et al. A Graph-Theoretic Approach for Timing Analysis and its Implementation , 1987, IEEE Transactions on Computers.