The Decidability of the Reachability Problem for CCS! (Q3090842): Difference between revisions

@@ Property / cites work @@
+Spatial and Behavioral Types in the Pi-Calculus
@@ Property / cites work: Spatial and Behavioral Types in the Pi-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types
+Normal rank
@@ Property / cites work @@
+CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence
+Normal rank
@@ Property / cites work @@
+On the Expressive Power of Restriction and Priorities in CCS with Replication
+Normal rank
@@ Property / cites work @@
+Q4449170
@@ Property / cites work: Q4449170 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressive power of recursion, replication and iteration in process calculi
+Normal rank
@@ Property / cites work @@
+On the expressiveness of interaction
@@ Property / cites work: On the expressiveness of interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+The Decidability of the Reachability Problem for CCS!
+Normal rank
@@ Property / cites work @@
+Decidability of Behavioral Equivalences in Process Calculi with Name Scoping
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Process rewrite systems.
@@ Property / cites work: Process rewrite systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite representations of CCS and TCSP programs by automata and Petri nets
+Normal rank