Which meaning of 'rigorous' and 'ad hoc' are intended here?
In our chapters on asynchronous algorithms, Chapters 10-13 and 15-22, we use the methods described here (plus some ad hoc arguments) to prove properties of asynchronous algorithms. Whether the arguments are done using one of the typical methods or not, they can all be made rigorous using I/O automata.
Tara2 Which meaning of 'rigorous' Exhaustive, in this case. The opposite of rigorous is informal. The proofs by the typical methods are not ironclad.
New words, one handy idiom, and a 2-minute quiz — delivered to your inbox to keep your streak alive.
Tara2Which meaning of 'rigorous'
Exhaustive, in this case. The opposite of rigorous is informal. The proofs by the typical methods are not ironclad.
Tara2and 'ad hoc'
The arguments were made only to address the particular case under scrutiny.