Vogler, Walter; Lüttgen, Gerald A linear-time branching-time perspective on interface automata. (English) Zbl 1443.68099 Acta Inf. 57, No. 3-5, 513-550 (2020). MSC: 68Q45 68Q55 68Q85 PDFBibTeX XMLCite \textit{W. Vogler} and \textit{G. Lüttgen}, Acta Inf. 57, No. 3--5, 513--550 (2020; Zbl 1443.68099) Full Text: DOI
Gareis, Johannes; Lüttgen, Gerald; Schinko, Ayleen; Vogler, Walter Interface automata for shared memory. (English) Zbl 1519.68118 Margaria, Tiziana (ed.) et al., Models, mindsets, meta: the what, the how, and the why not? Essays dedicated to Bernhard Steffen on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 11200, 151-166 (2019). MSC: 68Q45 68Q60 68Q85 PDFBibTeX XMLCite \textit{J. Gareis} et al., Lect. Notes Comput. Sci. 11200, 151--166 (2019; Zbl 1519.68118) Full Text: DOI
Fendrich, Sascha; Lüttgen, Gerald A generalised theory of interface automata, component compatibility and error. (English) Zbl 1421.68093 Acta Inf. 56, No. 4, 287-319 (2019). MSC: 68Q45 68Q85 PDFBibTeX XMLCite \textit{S. Fendrich} and \textit{G. Lüttgen}, Acta Inf. 56, No. 4, 287--319 (2019; Zbl 1421.68093) Full Text: DOI
Bujtor, Ferenc; Fendrich, Sascha; Lüttgen, Gerald; Vogler, Walter Nondeterministic modal interfaces. (English) Zbl 1345.68231 Theor. Comput. Sci. 642, 24-53 (2016). MSC: 68Q85 68Q45 68Q60 PDFBibTeX XMLCite \textit{F. Bujtor} et al., Theor. Comput. Sci. 642, 24--53 (2016; Zbl 1345.68231) Full Text: DOI
Fendrich, Sascha; Lüttgen, Gerald A generalised theory of interface automata, component compatibility and error. (English) Zbl 1354.68173 Ábrahám, Erika (ed.) et al., Integrated formal methods. 12th international conference, IFM 2016, Reykjavik, Iceland, June 1–5, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-33692-3/pbk; 978-3-319-33693-0/ebook). Lecture Notes in Computer Science 9681, 160-175 (2016). MSC: 68Q60 68Q45 68Q85 PDFBibTeX XMLCite \textit{S. Fendrich} and \textit{G. Lüttgen}, Lect. Notes Comput. Sci. 9681, 160--175 (2016; Zbl 1354.68173) Full Text: DOI
Lüttgen, Gerald; Vogler, Walter; Fendrich, Sascha Richer interface automata with optimistic and pessimistic compatibility. (English) Zbl 1325.68161 Acta Inf. 52, No. 4-5, 305-336 (2015). MSC: 68Q85 68Q45 68Q55 PDFBibTeX XMLCite \textit{G. Lüttgen} et al., Acta Inf. 52, No. 4--5, 305--336 (2015; Zbl 1325.68161) Full Text: DOI
Bujtor, Ferenc; Fendrich, Sascha; Lüttgen, Gerald; Vogler, Walter Nondeterministic modal interfaces. (English) Zbl 1345.68230 Italiano, Giuseppe F. (ed.) et al., SOFSEM 2015: theory and practice of computer science. 41st international conference on current trends in theory and practice of computer science, Pec pod Sněžkou, Czech Republic, January 24–29, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-46077-1/pbk). Lecture Notes in Computer Science 8939, 152-163 (2015). MSC: 68Q85 68Q45 68Q60 PDFBibTeX XMLCite \textit{F. Bujtor} et al., Lect. Notes Comput. Sci. 8939, 152--163 (2015; Zbl 1345.68230) Full Text: DOI Link
Lüttgen, Gerald; Vogler, Walter Modal interface automata. (English) Zbl 1272.68313 Log. Methods Comput. Sci. 9, No. 3, Paper No. 4, 28 p. (2013). MSC: 68Q85 68N30 68Q45 68Q60 PDFBibTeX XMLCite \textit{G. Lüttgen} and \textit{W. Vogler}, Log. Methods Comput. Sci. 9, No. 3, Paper No. 4, 28 p. (2013; Zbl 1272.68313) Full Text: DOI arXiv
Lüttgen, Gerald; Vogler, Walter Modal interface automata. (English) Zbl 1272.68312 Baeten, Jos C. M. (ed.) et al., Theoretical computer science. 7th IFIP TC 1/WG 2.2 international conference, TCS 2012, Amsterdam, The Netherlands, September 26–28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33474-0/pbk). Lecture Notes in Computer Science 7604, 265-279 (2012). MSC: 68Q85 68N30 68Q45 68Q60 PDFBibTeX XMLCite \textit{G. Lüttgen} and \textit{W. Vogler}, Lect. Notes Comput. Sci. 7604, 265--279 (2012; Zbl 1272.68312) Full Text: DOI