The following pages link to P. Michael Melliar-Smith (Q816726):
Displayed 30 items.
- Item:Q816726 (redirect page) (← links)
- Interval logics and their decision procedures. I: An interval logic (Q671639) (← links)
- Interval logics and their decision procedures. II: A real-time interval logic (Q672040) (← links)
- Dynamic pricing for time-limited goods in a supplier-driven electronic marketplace (Q816727) (← links)
- Necessary and sufficient conditions for broadcast consensus protocols. (Q1312603) (← links)
- Classic squares and broadcast squares (Q1336643) (← links)
- Byzantine-resistant total ordering algorithms. (Q1854265) (← links)
- A multicast group communication protocol, engine, and bridge for CORBA (Q2758657) (← links)
- (Q2758940) (← links)
- (Q2779327) (← links)
- Asynchronous Fault-Tolerant Total Ordering Algorithms (Q3137707) (← links)
- (Q3221966) (← links)
- Synchronizing clocks in the presence of faults (Q3766833) (← links)
- (Q3816057) (← links)
- (Q3939267) (← links)
- (Q4032313) (← links)
- (Q4048563) (← links)
- (Q4256652) (← links)
- (Q4268464) (← links)
- (Q4318636) (← links)
- (Q4373485) (← links)
- Byzantine Fault Detectors for Solving Consensus (Q4415929) (← links)
- (Q4518424) (← links)
- (Q4518444) (← links)
- Eternal—a component‐based framework for transparent fault‐tolerant CORBA (Q4790996) (← links)
- (Q4853317) (← links)
- Automated deduction in a graphical temporal logic (Q4868233) (← links)
- (Q4891905) (← links)
- A real-time interval logic and its decision procedure (Q5955786) (← links)
- Total ordering algorithms for asynchronous Byzantine systems (Q6084560) (← links)