Most General Property-Preserving Updates (Q5739011): Difference between revisions

@@ Property / cites work @@
+Deterministic generators and games for Ltl fragments
+Normal rank
@@ Property / cites work @@
+Reo: a channel-based coordination model for component composition
+Normal rank
@@ Property / cites work @@
+Modeling component connectors in Reo by constraint automata
+Normal rank
@@ Property / cites work @@
+Formal Verification for Components and Connectors
@@ Property / cites work: Formal Verification for Components and Connectors / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of Reactive(1) designs
@@ Property / cites work: Synthesis of Reactive(1) designs / rank @@
+Normal rank
@@ Property / cites work @@
+A Behavioural Congruence for Web Services
@@ Property / cites work: A Behavioural Congruence for Web Services / rank @@
+Normal rank
@@ Property / cites work @@
+Most General Property-Preserving Updates
@@ Property / cites work: Most General Property-Preserving Updates / rank @@
+Normal rank
@@ Property / cites work @@
+Games with a Weak Adversary
@@ Property / cites work: Games with a Weak Adversary / rank @@
+Normal rank
@@ Property / cites work @@
+Q2974797
@@ Property / cites work: Q2974797 / rank @@
+Normal rank
@@ Property / cites work @@
+Type-based hot swapping of running modules
@@ Property / cites work: Type-based hot swapping of running modules / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+The Unknown Component Problem
@@ Property / cites work: The Unknown Component Problem / rank @@
+Normal rank