Bidirectional Runtime Enforcement of First-Order Branching-Time Properties (Q5883741): Difference between revisions

@@ Property / OpenAlex ID @@
+W4322742170
@@ Property / OpenAlex ID: W4322742170 / rank @@
+Normal rank
@@ Property / cites work @@
+Determinizing monitors for HML with recursion
@@ Property / cites work: Determinizing monitors for HML with recursion / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for parameterized monitorability
@@ Property / cites work: A framework for parameterized monitorability / rank @@
+Normal rank
@@ Property / cites work @@
+Monitoring for Silent Actions
@@ Property / cites work: Monitoring for Silent Actions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5009452
@@ Property / cites work: Q5009452 / rank @@
+Normal rank
@@ Property / cites work @@
+On bidirectional runtime enforcement
@@ Property / cites work: On bidirectional runtime enforcement / rank @@
+Normal rank
@@ Property / cites work @@
+Q4260699
@@ Property / cites work: Q4260699 / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive Systems
@@ Property / cites work: Reactive Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Streaming transducers for algorithmic verification of single-pass list-processing programs
+Normal rank
@@ Property / cites work @@
+Monitoring networks through multiparty session types
+Normal rank
@@ Property / cites work @@
+Survey on JavaScript security policies and their enforcement mechanisms in a web browser
+Normal rank
@@ Property / cites work @@
+Monitorability for the Hennessy-Milner logic with recursion
+Normal rank
@@ Property / cites work @@
+Computer says no: verdict explainability for runtime monitors using a local proof system
+Normal rank
@@ Property / cites work @@
+Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency
+Normal rank
@@ Property / cites work @@
+Consistently-detecting monitors
@@ Property / cites work: Consistently-detecting monitors / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of monitors
@@ Property / cites work: A theory of monitors / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesising correct concurrent runtime monitors
@@ Property / cites work: Synthesising correct concurrent runtime monitors / rank @@
+Normal rank
@@ Property / cites work @@
+A modal logic for message passing processes
@@ Property / cites work: A modal logic for message passing processes / rank @@
+Normal rank
@@ Property / cites work @@
+Proof systems for message-passing process algebras
+Normal rank
@@ Property / cites work @@
+Monitors and blame assignment for higher-order session types
+Normal rank
@@ Property / cites work @@
+Shield synthesis
@@ Property / cites work: Shield synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Which security policies are enforceable by runtime monitors? A survey
+Normal rank
@@ Property / cites work @@
+Proof systems for satisfiability in Hennessy-Milner logic with recursion
+Normal rank
@@ Property / cites work @@
+Enforcing Non-safety Security Policies with Program Monitors
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4364391
@@ Property / cites work: Q4364391 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3644388
@@ Property / cites work: Q3644388 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Bisimulation and Coinduction
@@ Property / cites work: Introduction to Bisimulation and Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Maximally permissive controlled system synthesis for non-determinism and modal logic
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5883741