A Basic Parallel Process as a Parallel Pushdown Automaton (Q5170665): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2009.06.012
@@ Property / DOI: 10.1016/j.entcs.2009.06.012 / rank @@
-Normal rank
@@ Property / cites work @@
+Q2760240
@@ Property / cites work: Q2760240 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3404131
@@ Property / cites work: Q3404131 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A Context-Free Process as a Pushdown Automaton
@@ Property / cites work: A Context-Free Process as a Pushdown Automaton / rank @@
+Normal rank
@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+Branching time and abstraction in bisimulation semantics
+Normal rank
@@ Property / cites work @@
+Q4038732
@@ Property / cites work: Q4038732 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite results
@@ Property / cites work: Infinite results / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2009.06.012
@@ Property / DOI: 10.1016/J.ENTCS.2009.06.012 / rank @@
+Normal rank