Game Semantics for Access Control (Q2805155): Difference between revisions

@@ Property / cites work @@
+Access control in a core calculus of dependency
@@ Property / cites work: Access control in a core calculus of dependency / rank @@
+Normal rank
@@ Property / cites work @@
+Variations in Access Control Logic
@@ Property / cites work: Variations in Access Control Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4225147
@@ Property / cites work: Q4225147 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4823132
@@ Property / cites work: Q4823132 / rank @@
+Normal rank
@@ Property / cites work @@
+Games and full completeness for multiplicative linear logic
+Normal rank
@@ Property / cites work @@
+Full abstraction for PCF
@@ Property / cites work: Full abstraction for PCF / rank @@
+Normal rank
@@ Property / cites work @@
+Q4785506
@@ Property / cites work: Q4785506 / rank @@
+Normal rank
@@ Property / cites work @@
+On-the-Fly Techniques for Game-Based Software Model Checking
+Normal rank
@@ Property / cites work @@
+Q3024825
@@ Property / cites work: Q3024825 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474851
@@ Property / cites work: Q4474851 / rank @@
+Normal rank
@@ Property / cites work @@
+A Modal Deconstruction of Access Control Logics
@@ Property / cites work: A Modal Deconstruction of Access Control Logics / rank @@
+Normal rank
@@ Property / cites work @@
+A Linear Logic of Authorization and Knowledge
@@ Property / cites work: A Linear Logic of Authorization and Knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754137
@@ Property / cites work: Q2754137 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4225150
@@ Property / cites work: Q4225150 / rank @@
+Normal rank
@@ Property / cites work @@
+On full abstraction for PCF: I, II and III
@@ Property / cites work: On full abstraction for PCF: I, II and III / rank @@
+Normal rank
@@ Property / cites work @@
+Monad as modality
@@ Property / cites work: Monad as modality / rank @@
+Normal rank
@@ Property / cites work @@
+Polarized games
@@ Property / cites work: Polarized games / rank @@
+Normal rank
@@ Property / cites work @@
+Payoffs, Intensionality and Abstraction in Games
@@ Property / cites work: Payoffs, Intensionality and Abstraction in Games / rank @@
+Normal rank
@@ Property / cites work @@
+Relating categorical semantics for intuitionistic linear logic
+Normal rank
@@ Property / cites work @@
+Q4231031
@@ Property / cites work: Q4231031 / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Q4255509
@@ Property / cites work: Q4255509 / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction for nominal general references
@@ Property / cites work: Full abstraction for nominal general references / rank @@
+Normal rank