Flavors of sequential information flow (Q2152640): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-94583-1_1
+Normal rank
@@ Property / OpenAlex ID @@
+W4206020238
@@ Property / OpenAlex ID: W4206020238 / rank @@
+Normal rank
@@ Property / cites work @@
+A temporal logic for asynchronous hyperproperties
@@ Property / cites work: A temporal logic for asynchronous hyperproperties / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying Hyper and Epistemic Temporal Logics
@@ Property / cites work: Unifying Hyper and Epistemic Temporal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Information Flow in Reactive Systems
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+The First-Order Logic of Hyperproperties
@@ Property / cites work: The First-Order Logic of Hyperproperties / rank @@
+Normal rank
@@ Property / cites work @@
+Dependence and independence
@@ Property / cites work: Dependence and independence / rank @@
+Normal rank
@@ Property / cites work @@
+Team semantics for the specification and verification of hyperproperties
+Normal rank
@@ Property / cites work @@
+The stuttering principle revisited
@@ Property / cites work: The stuttering principle revisited / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2152640