Sassone, Vladimiro (ed.) Special issue: Foundations of software science and computational structures. Selected papers based on the presentations at the 8th conference of ‘Foundations of software science and computation structures’ (FOSSACS 2005), Edinburgh, Scotland, April 2–4, 2005. (English) Zbl 1146.68326 Theor. Comput. Sci. 390, No. 2-3, 127-270 (2008). MSC: 68-06 00B25 PDF BibTeX XML Cite \textit{V. Sassone} (ed.), Theor. Comput. Sci. 390, No. 2--3, 127--270 (2008; Zbl 1146.68326)
Stark, Ian Free-algebra models for the \(\pi \)-calculus. (English) Zbl 1134.68043 Theor. Comput. Sci. 390, No. 2-3, 248-270 (2008). MSC: 68Q85 18C10 PDF BibTeX XML Cite \textit{I. Stark}, Theor. Comput. Sci. 390, No. 2--3, 248--270 (2008; Zbl 1134.68043) Full Text: DOI
Schröder, Lutz Expressivity of coalgebraic modal logic: the limits and beyond. (English) Zbl 1132.03008 Theor. Comput. Sci. 390, No. 2-3, 230-247 (2008). MSC: 03B45 03B70 68Q65 PDF BibTeX XML Cite \textit{L. Schröder}, Theor. Comput. Sci. 390, No. 2--3, 230--247 (2008; Zbl 1132.03008) Full Text: DOI
Murawski, Andrzej S.; Walukiewicz, Igor Third-order Idealized Algol with iteration is decidable. (English) Zbl 1134.68017 Theor. Comput. Sci. 390, No. 2-3, 214-229 (2008). MSC: 68N15 68Q45 68Q25 68Q55 PDF BibTeX XML Cite \textit{A. S. Murawski} and \textit{I. Walukiewicz}, Theor. Comput. Sci. 390, No. 2--3, 214--229 (2008; Zbl 1134.68017) Full Text: DOI
Larsen, Kim Guldstrand; Rasmussen, Jacob Illum Optimal reachability for multi-priced timed automata. (English) Zbl 1134.68029 Theor. Comput. Sci. 390, No. 2-3, 197-213 (2008). MSC: 68Q45 PDF BibTeX XML Cite \textit{K. G. Larsen} and \textit{J. I. Rasmussen}, Theor. Comput. Sci. 390, No. 2--3, 197--213 (2008; Zbl 1134.68029) Full Text: DOI
Jeffrey, Alan; Rathke, Julian Full abstraction for polymorphic \(\pi \)-calculus. (English) Zbl 1134.68040 Theor. Comput. Sci. 390, No. 2-3, 171-196 (2008). MSC: 68Q85 PDF BibTeX XML Cite \textit{A. Jeffrey} and \textit{J. Rathke}, Theor. Comput. Sci. 390, No. 2--3, 171--196 (2008; Zbl 1134.68040) Full Text: DOI
Abbes, Samy; Benveniste, Albert True-concurrency probabilistic models: Markov nets and a law of large numbers. (English) Zbl 1134.68037 Theor. Comput. Sci. 390, No. 2-3, 129-170 (2008). MSC: 68Q85 PDF BibTeX XML Cite \textit{S. Abbes} and \textit{A. Benveniste}, Theor. Comput. Sci. 390, No. 2--3, 129--170 (2008; Zbl 1134.68037) Full Text: DOI