Boreale, Michele; Buscemi, Maria Grazia A method for symbolic analysis of security protocols. (English) Zbl 1068.94009 Theor. Comput. Sci. 338, No. 1-3, 393-425 (2005). MSC: 94A60 68M12 68Q60 PDF BibTeX XML Cite \textit{M. Boreale} and \textit{M. G. Buscemi}, Theor. Comput. Sci. 338, No. 1--3, 393--425 (2005; Zbl 1068.94009) Full Text: DOI OpenURL
Bueno, Antonio; Valero, Valentín; Cuartero, Fernando A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets. (English) Zbl 1068.68092 Theor. Comput. Sci. 338, No. 1-3, 350-392 (2005). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{A. Bueno} et al., Theor. Comput. Sci. 338, No. 1--3, 350--392 (2005; Zbl 1068.68092) Full Text: DOI OpenURL
Murawski, Andrzej S. Functions with local state: regularity and undecidability. (English) Zbl 1108.68076 Theor. Comput. Sci. 338, No. 1-3, 315-349 (2005). MSC: 68Q60 68Q45 03B25 PDF BibTeX XML Cite \textit{A. S. Murawski}, Theor. Comput. Sci. 338, No. 1--3, 315--349 (2005; Zbl 1108.68076) Full Text: DOI Link OpenURL
Fritz, Carsten; Wilke, Thomas Simulation relations for alternating Büchi automata. (English) Zbl 1078.68082 Theor. Comput. Sci. 338, No. 1-3, 275-314 (2005). Reviewer: Daniela Marinescu (Braşov) MSC: 68Q45 03D05 68Q60 PDF BibTeX XML Cite \textit{C. Fritz} and \textit{T. Wilke}, Theor. Comput. Sci. 338, No. 1--3, 275--314 (2005; Zbl 1078.68082) Full Text: DOI OpenURL
Chevalier, Yannick; Küsters, Ralf; Rusinowitch, Michaël; Turuani, Mathieu An NP decision procedure for protocol insecurity with XOR. (English) Zbl 1068.68057 Theor. Comput. Sci. 338, No. 1-3, 247-274 (2005). MSC: 68P25 94A60 PDF BibTeX XML Cite \textit{Y. Chevalier} et al., Theor. Comput. Sci. 338, No. 1--3, 247--274 (2005; Zbl 1068.68057) Full Text: DOI Link OpenURL
Hernest, Mircea-Dan; Kohlenbach, Ulrich A complexity analysis of functional interpretations. (English) Zbl 1096.03071 Theor. Comput. Sci. 338, No. 1-3, 200-246 (2005). Reviewer: M. Yasuhara (Princeton) MSC: 03F20 03F35 03F10 68Q25 68Q60 68N30 68Q17 PDF BibTeX XML Cite \textit{M.-D. Hernest} and \textit{U. Kohlenbach}, Theor. Comput. Sci. 338, No. 1--3, 200--246 (2005; Zbl 1096.03071) Full Text: DOI OpenURL
Worrell, James On the final sequence of a finitary set functor. (English) Zbl 1070.18004 Theor. Comput. Sci. 338, No. 1-3, 184-199 (2005). Reviewer: Paul Bankston (Milwaukee) MSC: 18D15 18B05 68Q65 03E75 PDF BibTeX XML Cite \textit{J. Worrell}, Theor. Comput. Sci. 338, No. 1--3, 184--199 (2005; Zbl 1070.18004) Full Text: DOI OpenURL
Flanagan, Cormac; Freund, Stephen N.; Qadeer, Shaz; Seshia, Sanjit A. Modular verification of multithreaded programs. (English) Zbl 1108.68080 Theor. Comput. Sci. 338, No. 1-3, 153-183 (2005). MSC: 68Q85 68N30 68Q60 68T15 PDF BibTeX XML Cite \textit{C. Flanagan} et al., Theor. Comput. Sci. 338, No. 1--3, 153--183 (2005; Zbl 1108.68080) Full Text: DOI Link OpenURL
Sakama, Chiaki Ordering default theories and nonmonotonic logic programs. (English) Zbl 1076.68075 Theor. Comput. Sci. 338, No. 1-3, 127-152 (2005). Reviewer: Vladimir Komendantsky (Cork) MSC: 68T27 68N17 03B50 03B60 PDF BibTeX XML Cite \textit{C. Sakama}, Theor. Comput. Sci. 338, No. 1--3, 127--152 (2005; Zbl 1076.68075) Full Text: DOI OpenURL
Fu, Yuxi On quasi-open bisimulation. (English) Zbl 1077.68060 Theor. Comput. Sci. 338, No. 1-3, 96-126 (2005). Reviewer: Damas Gruska (Bratislava) MSC: 68Q85 68Q55 68Q60 PDF BibTeX XML Cite \textit{Y. Fu}, Theor. Comput. Sci. 338, No. 1--3, 96--126 (2005; Zbl 1077.68060) Full Text: DOI OpenURL
D’Agostino, Giovanna; Lenzi, Giacomo An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus. (English) Zbl 1080.68078 Theor. Comput. Sci. 338, No. 1-3, 64-95 (2005). Reviewer: Vladimir Komendantsky (Cork) MSC: 68Q85 68Q60 03B45 03C80 PDF BibTeX XML Cite \textit{G. D'Agostino} and \textit{G. Lenzi}, Theor. Comput. Sci. 338, No. 1--3, 64--95 (2005; Zbl 1080.68078) Full Text: DOI OpenURL
Jeffrey, Alan; Rathke, Julian A fully abstract may testing semantics for concurrent objects. (English) Zbl 1078.68107 Theor. Comput. Sci. 338, No. 1-3, 17-63 (2005). Reviewer: Krassimir Atanassov (Sofia) MSC: 68Q85 68Q55 PDF BibTeX XML Cite \textit{A. Jeffrey} and \textit{J. Rathke}, Theor. Comput. Sci. 338, No. 1--3, 17--63 (2005; Zbl 1078.68107) Full Text: DOI OpenURL
Borzyszkowski, Andrzej M.; Darondeau, Philippe Transition systems without transitions. (English) Zbl 1078.68105 Theor. Comput. Sci. 338, No. 1-3, 1-16 (2005). Reviewer: Krassimir Atanassov (Sofia) MSC: 68Q85 68Q55 PDF BibTeX XML Cite \textit{A. M. Borzyszkowski} and \textit{P. Darondeau}, Theor. Comput. Sci. 338, No. 1--3, 1--16 (2005; Zbl 1078.68105) Full Text: DOI OpenURL