From domains to automata with concurrency (Q4630301): Difference between revisions

@@ Property / author @@
-Manfred Droste
@@ Property / author: Manfred Droste / rank @@
-Normal rank
@@ Property / author @@
+Manfred Droste
@@ Property / author: Manfred Droste / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-56939-1_111
+Normal rank
@@ Property / OpenAlex ID @@
+W1549720865
@@ Property / OpenAlex ID: W1549720865 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of traces
@@ Property / cites work: Theory of traces / rank @@
+Normal rank
@@ Property / cites work @@
+Q3766854
@@ Property / cites work: Q3766854 / 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 @@
+Labelled domains and automata with concurrency
@@ Property / cites work: Labelled domains and automata with concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Q3785893
@@ Property / cites work: Q3785893 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038692
@@ Property / cites work: Q4038692 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCURRENT AUTOMATA AND DOMAINS
@@ Property / cites work: CONCURRENT AUTOMATA AND DOMAINS / rank @@
+Normal rank
@@ Property / cites work @@
+Q4288284
@@ Property / cites work: Q4288284 / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922646
@@ Property / cites work: Q3922646 / 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 @@
+Q3795195
@@ Property / cites work: Q3795195 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Machines
@@ Property / cites work: Concurrent Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent transition systems
@@ Property / cites work: Concurrent transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional relational semantics for indeterminate dataflow networks
+Normal rank
@@ Property / cites work @@
+Q4282582
@@ Property / cites work: Q4282582 / rank @@
+Normal rank
@@ Property / cites work @@
+Connections between a concrete and an abstract model of concurrent systems
+Normal rank
@@ Property / cites work @@
+Q3030239
@@ Property / cites work: Q3030239 / rank @@
+Normal rank
@@ Property / cites work @@
+Models for concurrency: Towards a classification
@@ Property / cites work: Models for concurrency: Towards a classification / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4630301