Observable behavior of distributed systems: component reasoning for concurrent objects (Q444466): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+M14
@@ Property / Mathematics Subject Classification ID: 68M14 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B70
@@ Property / Mathematics Subject Classification ID: 03B70 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6065754
@@ Property / zbMATH DE Number: 6065754 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+distributed systems
@@ Property / zbMATH Keywords: distributed systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+object-orientation
@@ Property / zbMATH Keywords: object-orientation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+compositional reasoning
@@ Property / zbMATH Keywords: compositional reasoning / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Hoare logic
@@ Property / zbMATH Keywords: Hoare logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+concurrent objects
@@ Property / zbMATH Keywords: concurrent objects / rank @@
+Normal rank

Revision as of 01:50, 30 June 2023