Chapter Questions
Explain how a system can be transformed so that all timing failures manifest themselves as value failures. Can the converse be achieved?
Should Ada's timed entry call specify a timeout on the completion of the rendezvous, rather than the start of the rendezvous? Give an example of when such an approach might be useful. How might the same effect be obtained?