An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems (Q520240): Difference between revisions

@@ Property / cites work @@
+The gamma model and its discipline of programming
@@ Property / cites work: The gamma model and its discipline of programming / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets, event structures and domains. I
@@ Property / cites work: Petri nets, event structures and domains. I / rank @@
+Normal rank
@@ Property / cites work @@
+The chemical abstract machine
@@ Property / cites work: The chemical abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+A model for updating real-time applications
@@ Property / cites work: A model for updating real-time applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4296956
@@ Property / cites work: Q4296956 / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating Sequential Processes. The First 25 Years
+Normal rank
@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods for Open Object-Based Distributed Systems
+Normal rank
@@ Property / cites work @@
+Q4813207
@@ Property / cites work: Q4813207 / rank @@
+Normal rank
@@ Property / cites work @@
+A Structural Proof of the Soundness of Rely/guarantee Rules
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling Systems
@@ Property / cites work: Modelling Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3157876
@@ Property / cites work: Q3157876 / rank @@
+Normal rank
@@ Property / cites work @@
+Meta-learning in computational intelligence.
@@ Property / cites work: Meta-learning in computational intelligence. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997074
@@ Property / cites work: Q3997074 / rank @@
+Normal rank
@@ Property / cites work @@
+A pi-calculus based semantics for WS-BPEL
@@ Property / cites work: A pi-calculus based semantics for WS-BPEL / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling dynamic reconfigurations in Reo using high-level replacement systems
+Normal rank
@@ Property / cites work @@
+A New Type System for Deadlock-Free Processes
@@ Property / cites work: A New Type System for Deadlock-Free Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q2755067
@@ Property / cites work: Q2755067 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5628016
@@ Property / cites work: Q5628016 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+A Practical Approach to Verification of Mobile Systems Using Net Unfoldings
+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 @@
+Conditional Partial Order Graphs: Model, Synthesis, and Application
+Normal rank
@@ Property / cites work @@
+Q4513619
@@ Property / cites work: Q4513619 / rank @@
+Normal rank
@@ Property / cites work @@
+A Calculus for Orchestration of Web Services
@@ Property / cites work: A Calculus for Orchestration of Web Services / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418858
@@ Property / cites work: Q4418858 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank