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

@@ Property / DOI @@
-.1007/s00165-011-0212-5
@@ Property / DOI: 10.1007/s00165-011-0212-5 / rank @@
-Normal rank
@@ Property / author @@
-Joaquim Gabarró
@@ Property / author: Joaquim Gabarró / rank @@
-Normal rank
@@ Property / author @@
+Joaquim Gabarró
@@ Property / author: Joaquim Gabarró / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Orc
@@ Property / describes a project that uses: Orc / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00165-011-0212-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2102021362
@@ Property / OpenAlex ID: W2102021362 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1007/S00165-011-0212-5
@@ Property / DOI: 10.1007/S00165-011-0212-5 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:469344