A Translation of Beta-binders in a Prioritized Pi-calculus (Q5404078): 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.1016/j.entcs.2009.02.008
+Normal rank
@@ Property / OpenAlex ID @@
+W2031637156
@@ Property / OpenAlex ID: W2031637156 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Decoding choice encodings
@@ Property / cites work: Decoding choice encodings / 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 @@
+On Beta-Binders Communications
@@ Property / cites work: On Beta-Binders Communications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4508309
@@ Property / cites work: Q4508309 / rank @@
+Normal rank
@@ Property / cites work @@
+Types and full abstraction for polyadic \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+BioAmbients: an abstraction for biological compartments
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+A Core Calculus for a Comparative Analysis of Bio-inspired Calculi
+Normal rank
@@ Property / cites work @@
+Formal methods for computational systems biology. 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 Bertinoro, Italy, June 2--7, 2008. Advanced lectures
+Normal rank