Compositional relational semantics for indeterminate dataflow networks (Q5096251): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of traces
@@ Property / cites work: Theory of traces / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterministic data flow programs: How to avoid the merge anomaly
+Normal rank
@@ Property / cites work @@
+Q3785893
@@ Property / cites work: Q3785893 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3942370
@@ Property / cites work: Q3942370 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3877831
@@ Property / cites work: Q3877831 / 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 @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771629
@@ Property / cites work: Q3771629 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3795195
@@ Property / cites work: Q3795195 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent transition systems
@@ Property / cites work: Concurrent transition systems / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bfb0018344
+Normal rank
@@ Property / OpenAlex ID @@
+W2099361053
@@ Property / OpenAlex ID: W2099361053 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5096251