A Spatial Extension to the π Calculus (Q2870304): Difference between revisions

@@ Property / describes a project that uses @@
+MCELL
@@ Property / describes a project that uses: MCELL / 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.12.010
+Normal rank
@@ Property / OpenAlex ID @@
+W1964514022
@@ Property / OpenAlex ID: W1964514022 / rank @@
+Normal rank
@@ Property / cites work @@
+Real space process algebra
@@ Property / cites work: Real space process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494289
@@ Property / cites work: Q4494289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3396549
@@ Property / cites work: Q3396549 / 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 @@
+BioAmbients: an abstraction for biological compartments
+Normal rank
@@ Property / cites work @@
+The real-time process algebra (RTPA)
@@ Property / cites work: The real-time process algebra (RTPA) / rank @@
+Normal rank