Giunti, Marco Algorithmic type checking for a pi-calculus with name matching and session types. (English) Zbl 1283.68127 J. Log. Algebr. Program. 82, No. 8, 263-281 (2013). MSC: 68N30 68Q85 PDFBibTeX XMLCite \textit{M. Giunti}, J. Log. Algebr. Program. 82, No. 8, 263--281 (2013; Zbl 1283.68127) Full Text: DOI
Schmidt, Gunther Partiality. II: Constructed relation algebras. (English) Zbl 1255.03056 J. Log. Algebr. Program. 81, No. 6, 660-679 (2012). MSC: 03G15 68N30 PDFBibTeX XMLCite \textit{G. Schmidt}, J. Log. Algebr. Program. 81, No. 6, 660--679 (2012; Zbl 1255.03056) Full Text: DOI
Juhl, Line; Larsen, Kim G.; Srba, Jiří Modal transition systems with weight intervals. (English) Zbl 1243.68215 J. Log. Algebr. Program. 81, No. 4, 408-421 (2012). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{L. Juhl} et al., J. Log. Algebr. Program. 81, No. 4, 408--421 (2012; Zbl 1243.68215) Full Text: DOI
Delahaye, Benoît; Larsen, Kim G.; Legay, Axel; Pedersen, Mikkel L.; Wąsowski, Andrzej Consistency and refinement for interval Markov chains. (English) Zbl 1247.68195 J. Log. Algebr. Program. 81, No. 3, 209-226 (2012). MSC: 68Q87 68Q17 60J10 68Q60 PDFBibTeX XMLCite \textit{B. Delahaye} et al., J. Log. Algebr. Program. 81, No. 3, 209--226 (2012; Zbl 1247.68195) Full Text: DOI
Scollo, Giuseppe; Franco, Giuditta; Manca, Vincenzo Relational state transition dynamics. (English) Zbl 1148.68019 J. Log. Algebr. Program. 76, No. 1, 130-144 (2008). MSC: 68Q05 03G15 37B20 35B41 37N25 92C40 PDFBibTeX XMLCite \textit{G. Scollo} et al., J. Log. Algebr. Program. 76, No. 1, 130--144 (2008; Zbl 1148.68019) Full Text: DOI
Choppy, Christine; Reggio, Gianna A formally grounded software specification method. (English) Zbl 1088.68103 J. Log. Algebr. Program. 67, No. 1-2, 52-86 (2006). MSC: 68Q60 68Q65 68N30 PDFBibTeX XMLCite \textit{C. Choppy} and \textit{G. Reggio}, J. Log. Algebr. Program. 67, No. 1--2, 52--86 (2006; Zbl 1088.68103) Full Text: DOI
Struth, Georg Abstract abstract reduction. (English) Zbl 1086.68068 J. Log. Algebr. Program. 66, No. 2, 239-270 (2006). MSC: 68Q42 03B35 03B40 PDFBibTeX XMLCite \textit{G. Struth}, J. Log. Algebr. Program. 66, No. 2, 239--270 (2006; Zbl 1086.68068) Full Text: DOI