Real Time in Distributed Real Time Systems
暂无分享，去创建一个
Abstract Any real time computer control system must have a capability to measure the duration between events in the metric of real time and must respond to a stimulus within a given real time interval. This paper discusses some of the implications which result from the inclusion of this real time metric on the specification, communication and error detection in real time distributed systems.
[1] Leslie Lamport,et al. Time, clocks, and the ordering of events in a distributed system , 1978, CACM.
[2] Wolfgang Reisig,et al. Application and Theory of Petri Nets , 1982, Informatik-Fachberichte.
[3] P. M. Melliar-Smith,et al. From State Machines to Temporal Logic: Specification Methods for Protocol Standards , 1982, The Analysis of Concurrent Systems.