Bujtor, Ferenc; Vogler, Walter ACTL for modal interface automata. (English) Zbl 1373.68296 Theor. Comput. Sci. 693, 13-34 (2017). MSC: 68Q85 03B44 68Q45 PDFBibTeX XMLCite \textit{F. Bujtor} and \textit{W. Vogler}, Theor. Comput. Sci. 693, 13--34 (2017; Zbl 1373.68296) Full Text: DOI
Fahrenberg, Uli; Legay, Axel A linear-time-branching-time spectrum of behavioral specification theories. (English) Zbl 1433.68213 Steffen, Bernhard (ed.) et al., SOFSEM 2017: theory and practice of computer science. 43rd international conference on current trends in theory and practice of computer science, Limerick, Ireland, January 16–20, 2017, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10139, 49-61 (2017). MSC: 68Q60 03B44 68Q85 PDFBibTeX XMLCite \textit{U. Fahrenberg} and \textit{A. Legay}, Lect. Notes Comput. Sci. 10139, 49--61 (2017; Zbl 1433.68213) Full Text: DOI