Proposition de semantique denotationnelle pour des réseaux de processus avec opérateur de melange équitable (Q1162807): Difference between revisions

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(82)90021-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2072134574
@@ Property / OpenAlex ID: W2072134574 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4054644
@@ Property / cites work: Q4054644 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138147
@@ Property / cites work: Q4138147 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133080
@@ Property / cites work: Q4133080 / rank @@
+Normal rank
@@ Property / cites work @@
+Flowgraphs and Flow Algebras
@@ Property / cites work: Flowgraphs and Flow Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+A Powerdomain Construction
@@ Property / cites work: A Powerdomain Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q5685626
@@ Property / cites work: Q5685626 / rank @@
+Normal rank
@@ Property / cites work @@
+Power domains
@@ Property / cites work: Power domains / rank @@
+Normal rank
@@ Property / cites work @@
+Effectively given domains
@@ Property / cites work: Effectively given domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q3969890
@@ Property / cites work: Q3969890 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1162807