On the existence and decidability of unique decompositions of processes in the applied \(\pi\)-calculus (Q896922): Difference between revisions

@@ Property / author @@
-Yassine Lakhneche
@@ Property / author: Yassine Lakhneche / rank @@
-Normal rank
@@ Property / author @@
+Yassine Lakhneche
@@ Property / author: Yassine Lakhneche / 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.1016/j.tcs.2015.11.033
+Normal rank
@@ Property / OpenAlex ID @@
+W2182201061
@@ Property / OpenAlex ID: W2182201061 / rank @@
+Normal rank
@@ Property / cites work @@
+Unique decomposition of processes
@@ Property / cites work: Unique decomposition of processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile values, new names, and secure communication
+Normal rank
@@ Property / cites work @@
+Decoding choice encodings
@@ Property / cites work: Decoding choice encodings / rank @@
+Normal rank
@@ Property / cites work @@
+A randomized encoding of the \(\pi\)-calculus with mixed choice
+Normal rank
@@ Property / cites work @@
+A complete symbolic bisimulation for full applied pi calculus
+Normal rank
@@ Property / cites work @@
+THE WORD PROBLEM OF ACD-GROUND THEORIES IS UNDECIDABLE
+Normal rank
@@ Property / cites work @@
+A variant of a recursively unsolvable problem
@@ Property / cites work: A variant of a recursively unsolvable problem / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding equivalence-based properties using constraint solving
+Normal rank
@@ Property / cites work @@
+Proof System for Applied Pi Calculus
@@ Property / cites work: Proof System for Applied Pi Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposition orders -- another generalisation of the fundamental theorem of arithmetic
+Normal rank
@@ Property / cites work @@
+Unique Parallel Decomposition in Branching and Weak Bisimulation Semantics
+Normal rank
@@ Property / cites work @@
+On Unique Decomposition of Processes in the Applied π-Calculus
+Normal rank
@@ Property / cites work @@
+On Bisimilarity and Substitution in Presence of Replication
+Normal rank