Connections between a concrete and an abstract model of concurrent systems (Q5887511): Difference between revisions

@@ Property / DOI @@
-.1007/BFb0040254
@@ Property / DOI: 10.1007/BFb0040254 / rank @@
-Normal rank
@@ 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 @@
+Minimal and Optimal Computations of Recursive Programs
+Normal rank
@@ Property / cites work @@
+Q3805920
@@ Property / cites work: Q3805920 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3785893
@@ Property / cites work: Q3785893 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of the Kahn principle for input/output automata
+Normal rank
@@ Property / cites work @@
+Q3795195
@@ Property / cites work: Q3795195 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4721652
@@ Property / cites work: Q4721652 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional relational semantics for indeterminate dataflow networks
+Normal rank
@@ Property / cites work @@
+Concurrent transition systems
@@ Property / cites work: Concurrent transition systems / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/BFB0040254
@@ Property / DOI: 10.1007/BFB0040254 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5887511