DyNetKAT: An Algebra of Dynamic Networks
Attributed to:
UKRI Trustworthy Autonomous Systems Node in Verifiability
funded by
SPF
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-99253-8_10
Publication URI: http://dx.doi.org/10.1007/978-3-030-99253-8_10
Type: Book Chapter
Book Title: 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 (2022)
Page Reference: 184-204