On bidirectional runtime enforcement (Q2117010): 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-78089-0_1
+Normal rank
@@ Property / OpenAlex ID @@
+W3169320146
@@ Property / OpenAlex ID: W3169320146 / 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 @@
+Determinizing monitors for HML with recursion
@@ Property / cites work: Determinizing monitors for HML with recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Q5009452
@@ Property / cites work: Q5009452 / 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 @@
+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 @@
+Monitorability for the Hennessy-Milner logic with recursion
+Normal rank
@@ Property / cites work @@
+Proof systems for message-passing process algebras
+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 @@
+Maximally permissive controlled system synthesis for non-determinism and modal logic
+Normal rank
@@ Property / cites work @@
+Monitors and blame assignment for higher-order session types
+Normal rank
@@ Property / cites work @@
+Which security policies are enforceable by runtime monitors? A survey
+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 @@
+Proof systems for satisfiability in Hennessy-Milner logic with recursion
+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