×

Found 21 Documents (Results 1–21)

DyNetKAT: an algebra of dynamic networks. (English) Zbl 07793029

Bouyer, Patricia (ed.) et al., Foundations of software science and computation structures. 25th international conference, FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13242, 184-204 (2022).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Finding intruder knowledge with cap-matching. (English) Zbl 07176721

Guttman, Joshua D. (ed.) et al., Foundations of security, protocols, and equational reasoning. Essays dedicated to Catherine A. Meadows. Cham: Springer. Lect. Notes Comput. Sci. 11565, 39-53 (2019).
MSC:  68M12 68P25 94A60
PDFBibTeX XMLCite
Full Text: DOI

Alice and Bob meet equational theories. (English) Zbl 1321.68343

Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 160-180 (2015).
MSC:  68Q60 68M12 94A60
PDFBibTeX XMLCite
Full Text: DOI

Formal analysis of leader election in MANETs using Real-Time Maude. (English) Zbl 1454.68014

De Nicola, Rocco (ed.) et al., Software, services, and systems. Essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering, Munich, Germany, 2015. Essays. Cham: Springer. Lect. Notes Comput. Sci. 8950, 231-252 (2015).
MSC:  68M12 68M14 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Formal specification of the Kademlia and the Kad routing tables in Maude. (English) Zbl 1394.68235

Martí-Oliet, Narciso (ed.) et al., Recent trends in algebraic development techniques. 21st international workshop, WADT 2012, Salamanca, Spain, June 7–10, 2012. Revised selected papers. Berlin: Springer (ISBN 978-3-642-37634-4/pbk). Lecture Notes in Computer Science 7841, 231-247 (2013).
PDFBibTeX XMLCite
Full Text: DOI

Reduction-based formal analysis of BGP instances. (English) Zbl 1352.68021

Flanagan, Cormac (ed.) et al., Tools and algorithms for the construction and analysis of systems. 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28755-8/pbk). Lecture Notes in Computer Science 7214, 283-298 (2012).
MSC:  68M11 68M12
PDFBibTeX XMLCite
Full Text: DOI

Plan in Maude specifying an active network programming language. (English) Zbl 1272.68044

Gadducci, Fabio (ed.) et al., WRLA 2002. Proceedings of the 4th international workshop on rewriting logic and its applications, Pisa, Italy, September 19–21, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 71, 240-260 (2004).
MSC:  68M10 68N15 68N18
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software