Instead a temporal logic formula can talk about two unrelated parts of a system, which because they are unrelated tacitly evolve in parallel.
Invece una formula di logica temporale può parlare di due parti non correlate del sistema, perché in quanto non correlate evolvono tacitamente in parallelo.