On behavioural abstraction and behavioural satisfaction in higher-order logic (Q5096735): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-59293-8_199
+Normal rank
@@ Property / OpenAlex ID @@
+W1694382542
@@ Property / OpenAlex ID: W1694382542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4537506
@@ Property / cites work: Q4537506 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3956373
@@ Property / cites work: Q3956373 / rank @@
+Normal rank
@@ Property / cites work @@
+On behavioural abstraction and behavioural satisfaction in higher-order logic
+Normal rank
@@ Property / cites work @@
+Q4312482
@@ Property / cites work: Q4312482 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3687683
@@ Property / cites work: Q3687683 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3816965
@@ Property / cites work: Q3816965 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4729318
@@ Property / cites work: Q4729318 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4725725
@@ Property / cites work: Q4725725 / rank @@
+Normal rank
@@ Property / cites work @@
+On observational equivalence and algebraic specification
+Normal rank
@@ Property / cites work @@
+Q3666260
@@ Property / cites work: Q3666260 / rank @@
+Normal rank
@@ Property / cites work @@
+Two impossibility theorems on behaviour specification of abstract data types
+Normal rank
@@ Property / cites work @@
+Q4942099
@@ Property / cites work: Q4942099 / rank @@
+Normal rank