Natarajan, V.; Cleaveland, Rance Divergence and fair testing. (English) Zbl 1412.68155 Fülöp, Zoltán (ed.) et al., Automata, languages and programming. 22nd international colloquium, ICALP ’95, Szeged, Hungary, July 10–14, 1995. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 944, 648-659 (1995). MSC: 68Q85 68Q10 68Q55 PDFBibTeX XMLCite \textit{V. Natarajan} and \textit{R. Cleaveland}, Lect. Notes Comput. Sci. 944, 648--659 (1995; Zbl 1412.68155) Full Text: DOI
Cleaveland, Rance; Hennessy, Matthew Priorities in process algebras. (English) Zbl 0726.68053 Inf. Comput. 87, No. 1-2, 58-77 (1990). Reviewer: G.Mauri (Milano) MSC: 68Q55 68Q10 68Q85 PDFBibTeX XMLCite \textit{R. Cleaveland} and \textit{M. Hennessy}, Inf. Comput. 87, No. 1--2, 58--77 (1990; Zbl 0726.68053) Full Text: DOI