research
∙
09/11/2023
Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics
This volume contains the proceedings of EXPRESS/SOS 2023: the Combined 3...
share
research
∙
02/24/2021
Explaining Safety Failures in NetKAT
This work introduces a concept of explanations with respect to the viola...
research
∙
02/19/2021
DyNetKAT: An Algebra of Dynamic Networks
We introduce a formal language for specifying dynamic updates for Softwa...
research
∙
10/30/2019
Proceedings of the 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology
The fourth edition of the international workshop on Causation, Responsib...
research
∙
09/04/2019