Commit 888faf32 authored by Christian Müller's avatar Christian Müller

typedcausalspec

parent dc81ed33
......@@ -5,7 +5,7 @@ forall a:T1
forallmay a:T1,b:T2
True -> S += (b, a)
forallmay a:T2,b:T3
True -> S += (b, a)
True -> T += (b, a)
Declassify
......@@ -13,7 +13,7 @@ O(x): True
Target
S(a1:T3, a2:T2)
T(a1:T3, a2:T2)
Causality
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment