(This may be slightly off-topic here.) Manna & Pnueli typeset their books in (La)TeX using the font ZMSY10. Here's the head of the metafont file zmsy10.mf that I'm hesitant to publish in full because I'm unsure about its copyright situation:
% Font parameters
% This is the font ZMSY10, containing special symbols used by Zohar Manna.
% It has been ...
Distributed algorithms are a sub-type of parallel algorithm, typically executed concurrently, with separate parts of the algorithm being run simultaneously on independent processors, and having limited information about what the other parts of the algorithm are doing.
It is inherent type of algorithm to be run independently with no requirement ...
I was listening that lecture and I think that was just a slip of the tongue. I don't think such thing exists. The closest thing coming to my mind is "White Noise". In signal processing, white noise is a random signal having equal intensity at different frequencies, giving it a constant power spectral density.
However, it doesn't really matter in that ...
I don't know if there is a correct or recommended usage of Unicode codepoints for the LTL operators, but the mapping we used in LaTeX was the following:
□ (U+25A1) => \Box
◇ (U+25C7) => \Diamond
○ (U+25CB) => \medcirc (from txfonts/pxfonts)
My knowledge in Latin and etymology is very limited, but, 'modulus' is a Latin word, and the form 'modulus' is singular, nominative. 'moduli' is its plural form, again in the nominative case. Finally, 'modulo' is its ablative case. I believe that 'a is congruent to b modulo m' literally means something like 'a is congruent to b in the modulus m'.