Reasoning about orchestrations of web services using partial correctness (Q469344): Difference between revisions

@@ Property / cites work @@
+Refinement Calculus
@@ Property / cites work: Refinement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Invariant based programming: Basic approach and teaching experiences
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385538
@@ Property / cites work: Q4385538 / rank @@
+Normal rank
@@ Property / cites work @@
+Predicative programming Part I
@@ Property / cites work: Predicative programming Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Predicative programming Part II
@@ Property / cites work: Predicative programming Part II / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+A Language for Task Orchestration and Its Semantic Properties
+Normal rank
@@ Property / cites work @@
+The Orc Programming Language
@@ Property / cites work: The Orc Programming Language / rank @@
+Normal rank
@@ Property / cites work @@
+Simulation Using Orchestration
@@ Property / cites work: Simulation Using Orchestration / rank @@
+Normal rank
@@ Property / cites work @@
+A Denotational Semantical Model for Orc Language
@@ Property / cites work: A Denotational Semantical Model for Orc Language / rank @@
+Normal rank
@@ Property / cites work @@
+A timed semantics of Orc
@@ Property / cites work: A timed semantics of Orc / rank @@
+Normal rank