Question:
Perchè la sequenza t1,t3,t2? non è possibile in una semantica temporale monotonica debole?
Author: federico volpe
Answer:
Perchè t1 viene attivato in un tempo 10-15 il gettone in p1 diventa obsoleto e quindi t2 non può più scattare il tutto sarebbe concesso nell'ambito di una semantica debole
0 / 5 (0 ratings)
1 answer(s) in total
Author
federico volpe