Functorial theory of parameterized specifications in a general specification framework (Q1346622): Difference between revisions

@@ Property / cites work @@
+Q2736338
@@ Property / cites work: Q2736338 / rank @@
+Normal rank
@@ Property / cites work @@
+Fibered categories and the foundations of naive category theory
+Normal rank
@@ Property / cites work @@
+Algebraic specification of modules and their basic interconnections
+Normal rank
@@ Property / cites work @@
+Q3906394
@@ Property / cites work: Q3906394 / rank @@
+Normal rank
@@ Property / cites work @@
+Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
+Normal rank
@@ Property / cites work @@
+Abstract and behaviour module specifications
@@ Property / cites work: Abstract and behaviour module specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4730765
@@ Property / cites work: Q4730765 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3917480
@@ Property / cites work: Q3917480 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositionality results for different types of parameterization and parameter passing in specification languages
+Normal rank
@@ Property / cites work @@
+Q3906461
@@ Property / cites work: Q3906461 / rank @@
+Normal rank
@@ Property / cites work @@
+Parameter passing in algebraic specification languages
+Normal rank
@@ Property / cites work @@
+Q4187290
@@ Property / cites work: Q4187290 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995131
@@ Property / cites work: Q3995131 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining data type and recursive process specifications using projection algebras
+Normal rank
@@ Property / cites work @@
+Q3031906
@@ Property / cites work: Q3031906 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3667933
@@ Property / cites work: Q3667933 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3745247
@@ Property / cites work: Q3745247 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5416166
@@ Property / cites work: Q5416166 / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Q5586462
@@ Property / cites work: Q5586462 / rank @@
+Normal rank
@@ Property / cites work @@
+Parallel realization of systems, using factorizations and quotients in categories
+Normal rank
@@ Property / cites work @@
+Q5682456
@@ Property / cites work: Q5682456 / rank @@
+Normal rank
@@ Property / cites work @@
+Indexed categories and their applications
@@ Property / cites work: Indexed categories and their applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q3032225
@@ Property / cites work: Q3032225 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4729318
@@ Property / cites work: Q4729318 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3038598
@@ Property / cites work: Q3038598 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040341
@@ Property / cites work: Q4040341 / rank @@
+Normal rank
@@ Property / cites work @@
+On specifications, theories, and models with higher types
+Normal rank
@@ Property / cites work @@
+Q3923580
@@ Property / cites work: Q3923580 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3938468
@@ Property / cites work: Q3938468 / rank @@
+Normal rank
@@ Property / cites work @@
+Toward formal development of programs from algebraic specifications: Parameterisation revisited
+Normal rank
@@ Property / cites work @@
+Q3345753
@@ Property / cites work: Q3345753 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Type Specification: Parameterization and the Power of Specification Techniques
+Normal rank
@@ Property / cites work @@
+Q3787451
@@ Property / cites work: Q3787451 / rank @@
+Normal rank
@@ Property / cites work @@
+Structured algebraic specifications: A kernel language
+Normal rank