Aeolus: a component model for the cloud (Q476172): Difference between revisions

@@ Property / Wikidata QID @@
+Q56901755
@@ Property / Wikidata QID: Q56901755 / rank @@
+Normal rank
@@ Property / cites work @@
+Component Reconfiguration in the Presence of Conflicts
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Well-structured transition systems everywhere!
@@ Property / cites work: Well-structured transition systems everywhere! / rank @@
+Normal rank
@@ Property / cites work @@
+Revisiting Ackermann-Hardness for Lossy Counter Machines and Reset Petri Nets
+Normal rank
@@ Property / cites work @@
+The covering and boundedness problems for vector addition systems
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus for reasoning about software composition
+Normal rank
@@ Property / cites work @@
+Global Computing
@@ Property / cites work: Global Computing / rank @@
+Normal rank
@@ Property / cites work @@
+A CPS encoding of name-passing in higher-order mobile embedded resources
+Normal rank