Real-Time Behaviour of Asynchronous Agents
暂无分享,去创建一个
[1] Luca Cardelli,et al. Real Time Agents , 1982, International Colloquium on Automata, Languages and Programming.
[2] A. W. Roscoe,et al. A Timed Model for Communicating Sequential Processes , 1986, ICALP.
[3] Ruurd Kuiper,et al. Paradigms for Real-time Systems , 1988, FTRTFT.
[4] Jozef Hooman,et al. Design and verification in real-time distributed computing: an introduction to compositional methods , 1989, PSTV.
[5] Robin Milner,et al. A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.
[6] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[7] Robin Milner,et al. Calculi for Synchrony and Asynchrony , 1983, Theor. Comput. Sci..