Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger & David Walker (2014):
NetKAT: semantic foundations for networks.
In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014,
pp. 113–126,
doi:10.1145/2535838.2535862.
Christel Baier & Joost-Pieter Katoen (2008):
Principles of model checking.
MIT Press.
Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni & Richard J. Trefler (2012):
Explaining counterexamples using causality.
Formal Methods in System Design 40(1),
pp. 20–40,
doi:10.1007/s10703-011-0132-2.
Salem Benferhat & John Grant (2011):
Scalable Uncertainty Management - 5th International Conference, SUM 2011, Dayton, OH, USA, October 10-13, 2011. Proceedings.
Lecture Notes in Computer Science 6929.
Springer,
doi:10.1007/978-3-642-23963-2.
Christian Buckl, Alois Knoll, Ina Schieferdecker & Justyna Zander (2007):
Model-Based Analysis and Development of Dependable Systems.
In: Giese,
pp. 271–293,
doi:10.1007/978-3-642-16277-0_10.
Georgiana Caltais, Sophie Linnea Guetlein & Stefan Leue (2018):
Causality for General LTL-definable Properties.
In: Finkbeiner & Kleinberg,
pp. 1–15,
doi:10.4204/EPTCS.286.1.
Georgiana Caltais, Stefan Leue & Mohammad Reza Mousavi (2016):
(De-)Composing Causality in Labeled Transition Systems.
In: Gößler & Sokolsky,
pp. 10–24,
doi:10.4204/EPTCS.224.3.
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer & Jose F. Quesada (1999):
The Maude System.
In: Narendran & Rusinowitch,
pp. 240–243,
doi:10.1007/3-540-48685-2_18.
Bernd Finkbeiner & Samantha Kleinberg (2019):
Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki, Greece, 21st April 2018.
EPTCS 286,
doi:10.4204/EPTCS.286.
Nate Foster, Rob Harrison, Michael J. Freedman, Christopher Monsanto, Jennifer Rexford, Alec Story & David Walker (2011):
Frenetic: a network programming language.
In: Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011,
pp. 279–291,
doi:10.1145/2034773.2034812.
Nate Foster, Dexter Kozen, Matthew Milano, Alexandra Silva & Laure Thompson (2015):
A Coalgebraic Decision Procedure for NetKAT.
In: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015,
pp. 343–355,
doi:10.1145/2676726.2677011.
Roberto Giacobazzi, Josh Berdine & Isabella Mastroeni (2013):
Verification, Model Checking, and Abstract Interpretation, 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings.
Lecture Notes in Computer Science 7737.
Springer,
doi:10.1007/978-3-642-35873-9.
Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe & Bernhard Schätz (2011):
Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers.
Lecture Notes in Computer Science 6100.
Springer,
doi:10.1007/978-3-642-16277-0.
Gregor Gößler & Oleg Sokolsky (2016):
Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2016, Eindhoven, The Netherlands, 8th April 2016.
EPTCS 224,
doi:10.4204/EPTCS.224.
Joseph Y. Halpern (2011):
Causality, Responsibility, and Blame: A Structural-Model Approach.
In: Benferhat & Grant,
pp. 1,
doi:10.1007/978-3-642-23963-2_1.
Peyman Kazemian, George Varghese & Nick McKeown (2012):
Header Space Analysis: Static Checking for Networks.
In: Proceedings of the 9th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2012, San Jose, CA, USA, April 25-27, 2012,
pp. 113–126.
Available at https://www.usenix.org/conference/nsdi12/technical-sessions/presentation/kazemian.
Simon Knight, Hung X. Nguyen, Nick Falkner, Rhys Alistair Bowden & Matthew Roughan (2011):
The Internet Topology Zoo.
IEEE Journal on Selected Areas in Communications 29(9),
pp. 1765–1775,
doi:10.1109/JSAC.2011.111002.
Dexter Kozen (1994):
A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events.
Inf. Comput. 110(2),
pp. 366–390,
doi:10.1006/inco.1994.1037.
Dexter Kozen (1997):
Kleene Algebra with Tests.
ACM Trans. Program. Lang. Syst. 19(3),
pp. 427–443,
doi:10.1145/256167.256195.
Florian Leitner-Fischer & Stefan Leue (2013):
Causality Checking for Complex System Models.
In: Giacobazzi,
pp. 248–267,
doi:10.1007/978-3-642-35873-9_16.
D. Lewis (1973):
Causation.
Journal of Philosopy 70,
pp. 556–567,
doi:10.2307/2025310.
Nick McKeown, Tom Anderson, Hari Balakrishnan, Guru M. Parulkar, Larry L. Peterson, Jennifer Rexford, Scott Shenker & Jonathan S. Turner (2008):
OpenFlow: enabling innovation in campus networks.
Computer Communication Review 38(2),
pp. 69–74,
doi:10.1145/1355734.1355746.
Paliath Narendran & Michaël Rusinowitch (1999):
Rewriting Techniques and Applications, 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, Proceedings.
Lecture Notes in Computer Science 1631.
Springer,
doi:10.1007/3-540-48685-2.
István Pelle & András Gulyás (2019):
An Extensible Automated Failure Localization Framework Using NetKAT, Felix, and SDN Traceroute.
Future Internet 11(5),
doi:10.3390/fi11050107.
Available at https://www.mdpi.com/1999-5903/11/5/107.
Walid Mohamed Taha (2009):
Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings.
Lecture Notes in Computer Science 5658.
Springer,
doi:10.1007/978-3-642-03034-5.
Andreas Voellmy & Paul Hudak (2009):
Nettle: A Language for Configuring Routing Networks.
In: Taha,
pp. 211–235,
doi:10.1007/978-3-642-03034-5_11.
Andreas Voellmy, Junchang Wang, Yang Richard Yang, Bryan Ford & Paul Hudak (2013):
Maple: simplifying SDN programming using algorithmic policies.
In: ACM SIGCOMM 2013 Conference, SIGCOMM'13, Hong Kong, China, August 12-16, 2013,
pp. 87–98,
doi:10.1145/2486001.2486030.