Cazorla, Diego; Cuartero, Fernando; Valero, Valentín; Pelayo, Fernando L.; Pardo, J. José Algebraic theory of probabilistic and nondeterministic processes. (English) Zbl 1054.68091 J. Log. Algebr. Program. 55, No. 1-2, 57-103 (2003). MSC: 68Q85 PDFBibTeX XMLCite \textit{D. Cazorla} et al., J. Log. Algebr. Program. 55, No. 1--2, 57--103 (2003; Zbl 1054.68091) Full Text: DOI
Groote, J. F.; Pang, J.; Wouters, A. G. Analysis of a distributed system for lifting trucks. (English) Zbl 1048.68055 J. Log. Algebr. Program. 55, No. 1-2, 21-56 (2003). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{J. F. Groote} et al., J. Log. Algebr. Program. 55, No. 1--2, 21--56 (2003; Zbl 1048.68055) Full Text: DOI
Middelburg, C. A. An alternative formulation of operational conservativity with binding terms. (English) Zbl 1048.68056 J. Log. Algebr. Program. 55, No. 1-2, 1-19 (2003). MSC: 68Q85 PDFBibTeX XMLCite \textit{C. A. Middelburg}, J. Log. Algebr. Program. 55, No. 1--2, 1--19 (2003; Zbl 1048.68056) Full Text: DOI