Moller, Faron; Smolka, Scott; Srba, Jiří On the computational complexity of bisimulation, redux. (English) Zbl 1074.68038 Inf. Comput. 194, No. 2, 129-143 (2004). MSC: 68Q85 68Q25 68Q45 68Q60 68-02 PDFBibTeX XMLCite \textit{F. Moller} et al., Inf. Comput. 194, No. 2, 129--143 (2004; Zbl 1074.68038) Full Text: DOI
Goldin, Dina Q.; Smolka, Scott A.; Attie, Paul C.; Sonderegger, Elaine L. Turing machines, transition systems, and interaction. (English) Zbl 1090.68040 Inf. Comput. 194, No. 2, 101-128 (2004). MSC: 68Q05 PDFBibTeX XMLCite \textit{D. Q. Goldin} et al., Inf. Comput. 194, No. 2, 101--128 (2004; Zbl 1090.68040) Full Text: DOI
Cleaveland, Rance; Dayar, Zeynep; Smolka, Scott A.; Yuen, Shoji Testing preorders for probabilistic processes. (English) Zbl 1045.68564 Inf. Comput. 154, No. 2, 93-148 (1999). MSC: 68Q10 60J10 94A05 PDFBibTeX XMLCite \textit{R. Cleaveland} et al., Inf. Comput. 154, No. 2, 93--148 (1999; Zbl 1045.68564) Full Text: DOI
Baeten, J. C. M.; Bergstra, J. A.; Smolka, S. A. Axiomatizing probabilistic processes: ACP with generative probabilities. (English) Zbl 0829.60044 Inf. Comput. 121, No. 2, 234-255 (1995). MSC: 60G99 PDFBibTeX XMLCite \textit{J. C. M. Baeten} et al., Inf. Comput. 121, No. 2, 234--255 (1995; Zbl 0829.60044) Full Text: DOI Link
van Glabbeek, Rob J.; Smolka, Scott A.; Steffen, Bernhard Reactive, generative, and stratified models of probabilistic processes. (English) Zbl 0832.68042 Inf. Comput. 121, No. 1, 59-80 (1995). MSC: 68Q10 68Q55 68Q45 PDFBibTeX XMLCite \textit{R. J. van Glabbeek} et al., Inf. Comput. 121, No. 1, 59--80 (1995; Zbl 0832.68042) Full Text: DOI Link
Kanellakis, Paris C.; Smolka, Scott A. CCS expressions, finite state processes, and three problems of equivalence. (English) Zbl 0705.68063 Inf. Comput. 86, No. 1, 43-68 (1990). MSC: 68Q25 68Q05 68Q10 03D15 PDFBibTeX XMLCite \textit{P. C. Kanellakis} and \textit{S. A. Smolka}, Inf. Comput. 86, No. 1, 43--68 (1990; Zbl 0705.68063) Full Text: DOI