Modelling Real-Time Behaviour with an Interval Time Calculus
暂无分享,去创建一个
[1] Keith A. Bartlett,et al. A note on reliable full-duplex transmission over half-duplex links , 1969, Commun. ACM.
[2] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[3] Steven A. Schneider,et al. Correctness and communication in real-time systems (tcsp) , 1989 .
[4] A. W. Roscoe,et al. A Timed Model for Communicating Sequential Processes , 1986, ICALP.
[5] Wang Yi,et al. CCS + Time = An Interleaving Model for Real Time Systems , 1991, ICALP.
[6] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[7] Joseph Sifakis,et al. ATP: an Algebra for Timed Processes , 1990, Programming Concepts and Methods.
[8] Jan Friso Groote,et al. Structural Operational Semantics and Bisimulation as a Congruence (Extended Abstract) , 1989, ICALP.
[9] Faron Moller,et al. A Temporal Calculus of Communicating Systems , 1990, CONCUR.