Enumerated type semantics for the calculus of looping sequences (Q3006158): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2125202325
@@ Property / OpenAlex ID: W2125202325 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552454
@@ Property / cites work: Q4552454 / rank @@
+Normal rank
@@ Property / cites work @@
+Type Disciplines for Analysing Biologically Relevant Properties
+Normal rank
@@ Property / cites work @@
+Bisimulation Congruences in the Calculus of Looping Sequences
+Normal rank
@@ Property / cites work @@
+Q5486047
@@ Property / cites work: Q5486047 / rank @@
+Normal rank
@@ Property / cites work @@
+Typed stochastic semantics for the calculus of looping sequences
+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 @@
+BioAmbients: an abstraction for biological compartments
+Normal rank
@@ Property / cites work @@
+Q4474021
@@ Property / cites work: Q4474021 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737219
@@ Property / cites work: Q4737219 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3006158