Re: scrivere formula

Se ho almeno vagamente intuito di che si tratta, S(tr) è inteso come una proprietà che il processo P soddisfa . tr sta per trace, ovvero una particolare sequenza di eventi relativamente a un processo P. Una definizione si trova Qui (p. 64)
È vero che tr non è un’unica lettera, ma pare proprio che in questo contesto venga trattato come una variabile.
Siamo nel campo della “sicurezza informatica” 😉

Ciao
Ivan