Ordering and timeliness requirements of dependable real-time programs
- 1 September 1994
- journal article
- Published by Springer Nature in Real-Time Systems
- Vol. 7 (2) , 105-128
- https://doi.org/10.1007/bf01088801
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Sparse time versus dense time in distributed real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A statistical clock synchronization algorithm for anisotropic networksPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Temporal uncertainties in interactions among real-time objectsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Atomic Broadcast: From Simple Message Diffusion to Byzantine AgreementInformation and Computation, 1995
- Lightweight causal and atomic group multicastACM Transactions on Computer Systems, 1991
- Fault-Tolerant Membership Service in a Synchronous Distributed Real-Time SystemPublished by Springer Nature ,1991
- Synchronous atomic broadcast for redundant broadcast channelsReal-Time Systems, 1990
- Probabilistic clock synchronizationDistributed Computing, 1989
- Distributed fault-tolerant real-time systems: the Mars approachIEEE Micro, 1989
- Reliable communication in the presence of failuresACM Transactions on Computer Systems, 1987