Information Technology Reference
In-Depth Information
14. Alur, R., Etessami, K., Madhusudan, P.: A temporal logic of nested calls and
returns. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988,
pp. 467-481. Springer, Heidelberg (2004)
15. Alur, R., Arenas, M., Barcelo, P., Etessami, K., Immerman, N., Libkin, L.: First-
order and temporal logics for nested words. Logical Methods in Computer Sci-
ence 4(4) (2008)
16. Bozzelli, L.: Alternating automata and a temporal fixpoint calculus for visibly push-
down languages. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS,
vol. 4703, pp. 476-491. Springer, Heidelberg (2007)
17. Rosu, G., Chen, F., Ball, T.: Synthesizing monitors for safety properties: This time
with calls and returns. In: Leucker, M. (ed.) RV 2008. LNCS, vol. 5289, pp. 51-68.
Springer, Heidelberg (2008)
18. Manna, Z., Pnueli, A.: A hierarchy of temporal properties. In: Dwork, C. (ed.)
PODC, pp. 377-410. ACM (1990)
19. Bouajjani, A., Esparza, J., Maler, O.: Reachability analysis of pushdown au-
tomata: Application to model-checking. In: Mazurkiewicz, A., Winkowski, J. (eds.)
CONCUR 1997. LNCS, vol. 1243, pp. 135-150. Springer, Heidelberg (1997)
 
Search WWH ::




Custom Search