On the Expressive Power of Restriction and Priorities in CCS with Replication (Q3617733): Difference between revisions

@@ 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/978-3-642-00596-1_18
+Normal rank
@@ Property / OpenAlex ID @@
+W1594682236
@@ Property / OpenAlex ID: W1594682236 / rank @@
+Normal rank
@@ Property / cites work @@
+On the decidability of fragments of the asynchronous π-calculus
+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 @@
+Decidability of bisimulation equivalence for process generating context-free languages
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+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 @@
+Q4289279
@@ Property / cites work: Q4289279 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Q4525284
@@ Property / cites work: Q4525284 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+CCS with priority guards
@@ Property / cites work: CCS with priority guards / rank @@
+Normal rank
@@ Property / cites work @@
+Finite representations of CCS and TCSP programs by automata and Petri nets
+Normal rank
@@ Property / cites work @@
+On the Expressive Power of Global and Local Priority in Process Calculi
+Normal rank
@@ Property / cites work @@
+Termination Problems in Chemical Kinetics
@@ Property / cites work: Termination Problems in Chemical Kinetics / rank @@
+Normal rank