Timestamps in Message-Passing Systems That Preserve the Partial Ordering
暂无分享,去创建一个
[1] Leslie Lamport,et al. Time, clocks, and the ordering of events in a distributed system , 1978, CACM.
[2] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[3] Inmos Corp,et al. Occam Programming Manual , 1984 .
[4] Abraham Silberschatz,et al. Error Propagation and Recovery in Concurrent Environments , 1985, Computer/law journal.
[5] Gigliola Vaglini,et al. Development of a Debugger for a Concurrent Language , 1986, IEEE Trans. Software Eng..
[6] Mukul K. Sinha,et al. Commutable transactions and the time_pad synchronization mechanism for distributed systems , 1986, IEEE Transactions on Software Engineering.
[7] F. Baiardi,et al. Development of a debugger for a concurrent language , 1986, IEEE Transactions on Software Engineering.
[8] Colin J. Fidge,et al. Reproducible Tests in CSP , 1987, Aust. Comput. J..