What is a free name in a process algebra? (Q2379969): Difference between revisions

@@ Property / DOI @@
-.1016/j.ipl.2007.04.001
@@ Property / DOI: 10.1016/j.ipl.2007.04.001 / rank @@
-Normal rank
@@ Property / Wikidata QID @@
+Q59416353
@@ Property / Wikidata QID: Q59416353 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2746874
@@ Property / cites work: Q2746874 / rank @@
+Normal rank
@@ Property / cites work @@
+The chemical abstract machine
@@ Property / cites work: The chemical abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling biochemical pathways through enhanced \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Flow Analysis for CCS
@@ Property / cites work: Data Flow Analysis for CCS / rank @@
+Normal rank
@@ Property / cites work @@
+Q4671219
@@ Property / cites work: Q4671219 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760245
@@ Property / cites work: Q2760245 / rank @@
+Normal rank
@@ Property / cites work @@
+BioAmbients: an abstraction for biological compartments
+Normal rank
@@ Property / DBLP publication ID @@
+journals/ipl/NielsonNP07
@@ Property / DBLP publication ID: journals/ipl/NielsonNP07 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.IPL.2007.04.001
@@ Property / DOI: 10.1016/J.IPL.2007.04.001 / rank @@
+Normal rank