Specification of abstract dynamic-data types: A temporal logic approach (Q1391733): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The power of temporal proofs
@@ Property / cites work: The power of temporal proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Observational structures and their logic
@@ Property / cites work: Observational structures and their logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3030245
@@ Property / cites work: Q3030245 / rank @@
+Normal rank
@@ Property / cites work @@
+Labelled transition logic: An outline
@@ Property / cites work: Labelled transition logic: An outline / rank @@
+Normal rank
@@ Property / cites work @@
+D-oids: a model for dynamic data-types
@@ Property / cites work: D-oids: a model for dynamic data-types / rank @@
+Normal rank
@@ Property / cites work @@
+Module algebra
@@ Property / cites work: Module algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q3677156
@@ Property / cites work: Q3677156 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial abstract types
@@ Property / cites work: Partial abstract types / rank @@
+Normal rank
@@ Property / cites work @@
+Q5416166
@@ Property / cites work: Q5416166 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4942100
@@ Property / cites work: Q4942100 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4035231
@@ Property / cites work: Q4035231 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3320351
@@ Property / cites work: Q3320351 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3220545
@@ Property / cites work: Q3220545 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3917479
@@ Property / cites work: Q3917479 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic implementation of abstract data types
@@ Property / cites work: Algebraic implementation of abstract data types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4299864
@@ Property / cites work: Q4299864 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal theories as modularisation units for concurrent system specification
+Normal rank
@@ Property / cites work @@
+Q4342097
@@ Property / cites work: Q4342097 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3030249
@@ Property / cites work: Q3030249 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4942101
@@ Property / cites work: Q4942101 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3749040
@@ Property / cites work: Q3749040 / rank @@
+Normal rank
@@ Property / cites work @@
+On the interpretability of arithmetic in temporal logic
+Normal rank
@@ Property / cites work @@
+Specifying Concurrent Program Modules
@@ Property / cites work: Specifying Concurrent Program Modules / rank @@
+Normal rank
@@ Property / cites work @@
+Q2757818
@@ Property / cites work: Q2757818 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733399
@@ Property / cites work: Q4733399 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+The hereditary partial effective functionals and recursion theory in higher types
+Normal rank
@@ Property / cites work @@
+Q3871917
@@ Property / cites work: Q3871917 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets and algebraic specifications
@@ Property / cites work: Petri nets and algebraic specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Object Specification Logic
@@ Property / cites work: Object Specification Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023825
@@ Property / cites work: Q4023825 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3769950
@@ Property / cites work: Q3769950 / rank @@
+Normal rank
@@ Property / cites work @@
+Incompleteness of first-order temporal logic with until
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+Q4385539
@@ Property / cites work: Q4385539 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(96)00165-x
+Normal rank
@@ Property / OpenAlex ID @@
+W1982962901
@@ Property / OpenAlex ID: W1982962901 / rank @@
+Normal rank