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 / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+M11
@@ Property / Mathematics Subject Classification ID: 68M11 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+M14
@@ Property / Mathematics Subject Classification ID: 68M14 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6367488
@@ Property / zbMATH DE Number: 6367488 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+world wide web
@@ Property / zbMATH Keywords: world wide web / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+service
@@ Property / zbMATH Keywords: service / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+specification
@@ Property / zbMATH Keywords: specification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+orchestration
@@ Property / zbMATH Keywords: orchestration / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+ORC
@@ Property / zbMATH Keywords: ORC / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+partial correctness
@@ Property / zbMATH Keywords: partial correctness / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+pre-orders
@@ Property / zbMATH Keywords: pre-orders / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+fixed-points
@@ Property / zbMATH Keywords: fixed-points / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+powerdomains
@@ Property / zbMATH Keywords: powerdomains / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Orc
@@ Property / describes a project that uses: Orc / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / 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