Type Disciplines for Analysing Biologically Relevant Properties (Q5179427): 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.2008.12.106
+Normal rank
@@ Property / OpenAlex ID @@
+W2074916974
@@ Property / OpenAlex ID: W2074916974 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552454
@@ Property / cites work: Q4552454 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5486047
@@ Property / cites work: Q5486047 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation Congruences in the Calculus of Looping Sequences
+Normal rank
@@ Property / cites work @@
+Bisimulations in calculi modelling membranes
@@ Property / cites work: Bisimulations in calculi modelling membranes / rank @@
+Normal rank
@@ Property / cites work @@
+Brane Calculi
@@ Property / cites work: Brane Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Formal molecular biology
@@ Property / cites work: Formal molecular biology / rank @@
+Normal rank
@@ Property / cites work @@
+Membrane computing. An introduction.
@@ Property / cites work: Membrane computing. An introduction. / rank @@
+Normal rank
@@ Property / cites work @@
+BioAmbients: an abstraction for biological compartments
+Normal rank
@@ Property / cites work @@
+Q4737219
@@ Property / cites work: Q4737219 / rank @@
+Normal rank