Pregunta:
Perchè la sequenza t1,t3,t2? non è possibile in una semantica temporale monotonica debole?
Autor: federico volpe
Respuesta:
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 calificaciones)
1 answer(s) in total
Autor
federico volpe