Meseguer, José Twenty years of rewriting logic. (English) Zbl 1267.03043 J. Log. Algebr. Program. 81, No. 7-8, 721-781 (2012). Reviewer: Johan Georg Granström (Zürich) MSC: 03B70 68Q42 PDFBibTeX XMLCite \textit{J. Meseguer}, J. Log. Algebr. Program. 81, No. 7--8, 721--781 (2012; Zbl 1267.03043) Full Text: DOI
Birkedal, Lars; Støvring, Kristian; Thamsborg, Jacob A relational realizability model for higher-order stateful ADTs. (English) Zbl 1279.68227 J. Log. Algebr. Program. 81, No. 4, 491-521 (2012). MSC: 68Q65 68Q55 68N15 PDFBibTeX XMLCite \textit{L. Birkedal} et al., J. Log. Algebr. Program. 81, No. 4, 491--521 (2012; Zbl 1279.68227) Full Text: DOI
Katoen, Joost-Pieter; Klink, Daniel; Leucker, Martin; Wolf, Verena Three-valued abstraction for probabilistic systems. (English) Zbl 1277.68219 J. Log. Algebr. Program. 81, No. 4, 356-389 (2012). MSC: 68Q87 68Q60 03B70 PDFBibTeX XMLCite \textit{J.-P. Katoen} et al., J. Log. Algebr. Program. 81, No. 4, 356--389 (2012; Zbl 1277.68219) Full Text: DOI
Fränzle, Martin; Teige, Tino; Eggers, Andreas Engineering constraint solvers for automatic analysis of probabilistic hybrid automata. (English) Zbl 1205.68252 J. Log. Algebr. Program. 79, No. 7, 436-466 (2010). MSC: 68Q87 68Q45 PDFBibTeX XMLCite \textit{M. Fränzle} et al., J. Log. Algebr. Program. 79, No. 7, 436--466 (2010; Zbl 1205.68252) Full Text: DOI
ter Beek, Maurice H.; Gnesi, Stefania; Latella, Diego; Massink, Mieke; Sebastianis, Maurizio; Trentanni, Gianluca Assisting the design of a groupware system - Model checking usability aspects of thinkteam. (English) Zbl 1183.68363 J. Log. Algebr. Program. 78, No. 4, 191-232 (2009). MSC: 68Q60 03B44 68N30 68Q10 68Q85 PDFBibTeX XMLCite \textit{M. H. ter Beek} et al., J. Log. Algebr. Program. 78, No. 4, 191--232 (2009; Zbl 1183.68363) Full Text: DOI
Vu, Thuy Duong Denotational semantics for thread algebra. (English) Zbl 1131.68069 J. Log. Algebr. Program. 74, No. 2, 94-111 (2008). MSC: 68Q85 68N15 68Q55 PDFBibTeX XMLCite \textit{T. D. Vu}, J. Log. Algebr. Program. 74, No. 2, 94--111 (2008; Zbl 1131.68069) Full Text: DOI
Bernardo, Marco Non-bisimulation-based Markovian behavioral equivalences. (English) Zbl 1121.68077 J. Log. Algebr. Program. 72, No. 1, 3-49 (2007). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{M. Bernardo}, J. Log. Algebr. Program. 72, No. 1, 3--49 (2007; Zbl 1121.68077) Full Text: DOI
Desharnais, Josée; Panangaden, Prakash Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. (English) Zbl 1053.68065 J. Log. Algebr. Program. 56, No. 1-2, 99-115 (2003). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. Desharnais} and \textit{P. Panangaden}, J. Log. Algebr. Program. 56, No. 1--2, 99--115 (2003; Zbl 1053.68065) Full Text: DOI
Buchholz, Peter; Katoen, Joost-Pieter; Kemper, Peter; Tepper, Carsten Model-checking large structured Markov chains. (English) Zbl 1048.68053 J. Log. Algebr. Program. 56, No. 1-2, 69-97 (2003). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Buchholz} et al., J. Log. Algebr. Program. 56, No. 1--2, 69--97 (2003; Zbl 1048.68053) Full Text: DOI
Hermanns, Holger; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Siegle, Markus On the use of MTBDDs for performability analysis and verification of stochastic systems. (English) Zbl 1054.68018 J. Log. Algebr. Program. 56, No. 1-2, 23-67 (2003). MSC: 68M20 68Q85 PDFBibTeX XMLCite \textit{H. Hermanns} et al., J. Log. Algebr. Program. 56, No. 1--2, 23--67 (2003; Zbl 1054.68018) Full Text: DOI