A Model for Real-Time Systems
暂无分享,去创建一个
[1] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.
[2] Aloysius K. Mok,et al. A Graph-Theoretic Approach for Timing Analysis and its Implementation , 1987, IEEE Transactions on Computers.
[3] Wang Yi,et al. Real-Time Behaviour of Asynchronous Agents , 1990, CONCUR.
[4] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[5] C. A. R. Hoare,et al. Specification-Oriented Semantics for Communicating Processes , 1983, ICALP.
[6] Mathai Joseph,et al. What's 'real' about real-time systems? , 1988, Proceedings. Real-Time Systems Symposium.
[7] Faron Moller,et al. A Temporal Calculus of Communicating Systems , 1990, CONCUR.
[8] David Park,et al. Concurrency and Automata on Infinite Sequences , 1981, Theoretical Computer Science.
[9] Kim G. Larsen,et al. Proof System for Hennessy-Milner Logic with Recursion , 1988, CAAP.