Lang-n-Send Extended: Sending Regular Expressions to Monitors (Q6122642): Difference between revisions

@@ Property / cites work @@
+On the expressibility of priority
@@ Property / cites work: On the expressibility of priority / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+The meaning of negative premises in transition system specifications
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+On the effectiveness of higher-order logic programming in language-oriented programming
+Normal rank
@@ Property / cites work @@
+A Theory of Monitors
@@ Property / cites work: A Theory of Monitors / rank @@
+Normal rank
@@ Property / cites work @@
+The meaning of negative premises in transition system specifications. II
+Normal rank
@@ Property / cites work @@
+Structured operational semantics and bisimulation as a congruence
+Normal rank
@@ Property / cites work @@
+A process algebra for timed systems
@@ Property / cites work: A process algebra for timed systems / rank @@
+Normal rank
@@ Property / cites work @@
+Programming with Higher-Order Logic
@@ Property / cites work: Programming with Higher-Order Logic / rank @@
+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 @@
+Q5357704
@@ Property / cites work: Q5357704 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5216154
@@ Property / cites work: Q5216154 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251040
@@ Property / cites work: Q4251040 / rank @@
+Normal rank
@@ Property / cites work @@
+An Operational Guide to Monitorability
@@ Property / cites work: An Operational Guide to Monitorability / rank @@
+Normal rank