Representation of computations in concurrent automata by dependence orders (Q1269906): Difference between revisions

@@ Property / cites work @@
+Theory of traces
@@ Property / cites work: Theory of traces / rank @@
+Normal rank
@@ Property / cites work @@
+Q4160405
@@ Property / cites work: Q4160405 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal and Optimal Computations of Recursive Programs
+Normal rank
@@ Property / cites work @@
+Q5331549
@@ Property / cites work: Q5331549 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3805920
@@ Property / cites work: Q3805920 / rank @@
+Normal rank
@@ Property / cites work @@
+From domains to automata with concurrency
@@ Property / cites work: From domains to automata with concurrency / 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 @@
+Dependence orders for computations of concurrent automata
+Normal rank
@@ Property / cites work @@
+Q4692885
@@ Property / cites work: Q4692885 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorics on traces
@@ Property / cites work: Combinatorics on traces / 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 @@
+Recognizable languages in concurrency monoids
@@ Property / cites work: Recognizable languages in concurrency monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Aperiodic languages in concurrency monoids
@@ Property / cites work: Aperiodic languages in concurrency monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Recognizable languages in divisibility monoids
@@ Property / cites work: Recognizable languages in divisibility monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Q5485973
@@ Property / cites work: Q5485973 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4288284
@@ Property / cites work: Q4288284 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical definability on infinite traces
@@ Property / cites work: Logical definability on infinite traces / rank @@
+Normal rank
@@ Property / cites work @@
+The equational theory of pomsets
@@ Property / cites work: The equational theory of pomsets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4165427
@@ Property / cites work: Q4165427 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4035659
@@ Property / cites work: Q4035659 / rank @@
+Normal rank
@@ Property / cites work @@
+Star-free trace languages
@@ Property / cites work: Star-free trace languages / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Defining conditional independence using collapses
@@ Property / cites work: Defining conditional independence using collapses / rank @@
+Normal rank
@@ Property / cites work @@
+Q4867292
@@ Property / cites work: Q4867292 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4954451
@@ Property / cites work: Q4954451 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771629
@@ Property / cites work: Q3771629 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733400
@@ Property / cites work: Q4733400 / 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 @@
+Elementary transition systems
@@ Property / cites work: Elementary transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038701
@@ Property / cites work: Q4038701 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3795195
@@ Property / cites work: Q3795195 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3670575
@@ Property / cites work: Q3670575 / rank @@
+Normal rank
@@ Property / cites work @@
+Connections between a concrete and an abstract model of concurrent systems
+Normal rank
@@ Property / cites work @@
+Compositional relational semantics for indeterminate dataflow networks
+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
@@ Property / cites work @@
+Notes on finite asynchronous automata
@@ Property / cites work: Notes on finite asynchronous automata / rank @@
+Normal rank