The Decidability of the Structural Congruence for Beta-binders (Q2864203): Difference between revisions

@@ Property / author @@
-Corrado Priami
@@ Property / author: Corrado Priami / rank @@
-Normal rank
@@ Property / author @@
-Alessandro Romanel
@@ Property / author: Alessandro Romanel / rank @@
-Normal rank
@@ Property / author @@
+Corrado Priami
@@ Property / author: Corrado Priami / rank @@
+Normal rank
@@ Property / author @@
+Alessandro Romanel
@@ Property / author: Alessandro Romanel / 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.entcs.2007.05.014
+Normal rank
@@ Property / OpenAlex ID @@
+W2030091233
@@ Property / OpenAlex ID: W2030091233 / rank @@
+Normal rank
@@ Property / cites work @@
+Brane Calculi
@@ Property / cites work: Brane Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+A multiset semantics for the pi-calculus with replication
+Normal rank
@@ Property / cites work @@
+Multisets and structural congruence of the pi-calculus with replication
+Normal rank
@@ Property / cites work @@
+A new natural structural congruence in the pi-calculus with replication
+Normal rank
@@ Property / cites work @@
+Q4273947
@@ Property / cites work: Q4273947 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Methods in Systems Biology
@@ Property / cites work: Computational Methods in Systems Biology / rank @@
+Normal rank
@@ Property / cites work @@
+Transactions on Computational Systems Biology I
@@ Property / cites work: Transactions on Computational Systems Biology I / rank @@
+Normal rank
@@ Property / cites work @@
+Application of a stochastic name-passing calculus to representation and simulation of molecular processes
+Normal rank
@@ Property / cites work @@
+BioAmbients: an abstraction for biological compartments
+Normal rank