×

Found 9 Documents (Results 1–9)

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI Link

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).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

Software