Combining data type and recursive process specifications using projection algebras (Q910188): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3900995
@@ Property / cites work: Q3900995 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5186720
@@ Property / cites work: Q5186720 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3742698
@@ Property / cites work: Q3742698 / rank @@
+Normal rank
@@ Property / cites work @@
+Completions of partially ordered sets and universal algebras
+Normal rank
@@ Property / cites work @@
+Algebraic specification of modules and their basic interconnections
+Normal rank
@@ Property / cites work @@
+Processes and the denotational semantics of concurrency
+Normal rank
@@ Property / cites work @@
+Q3738549
@@ Property / cites work: Q3738549 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Initial Algebra Semantics and Continuous Algebras
@@ Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3750113
@@ Property / cites work: Q3750113 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3707383
@@ Property / cites work: Q3707383 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3680247
@@ Property / cites work: Q3680247 / rank @@
+Normal rank
@@ Property / cites work @@
+On the algebraic specification of infinite objects - ordered and continuous models of algebraic types
+Normal rank
@@ Property / cites work @@
+Q4116078
@@ Property / cites work: Q4116078 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3026326
@@ Property / cites work: Q3026326 / rank @@
+Normal rank
@@ Property / cites work @@
+A uniform approach to inductive posets and inductive closure
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(90)90049-n
+Normal rank
@@ Property / OpenAlex ID @@
+W2005828354
@@ Property / OpenAlex ID: W2005828354 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:910188