A semantic equivalence for Bio-PEPA based on discretisation of continuous values (Q533358): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q80
@@ Property / Mathematics Subject Classification ID: 68Q80 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C42
@@ Property / Mathematics Subject Classification ID: 92C42 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5883071
@@ Property / zbMATH DE Number: 5883071 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+process algebra
@@ Property / zbMATH Keywords: process algebra / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+biological modelling
@@ Property / zbMATH Keywords: biological modelling / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+discretisation
@@ Property / zbMATH Keywords: discretisation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+semantic equivalence
@@ Property / zbMATH Keywords: semantic equivalence / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+compression bisimulation
@@ Property / zbMATH Keywords: compression bisimulation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+congruence
@@ Property / zbMATH Keywords: congruence / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+stoichiometry
@@ Property / zbMATH Keywords: stoichiometry / rank @@
+Normal rank

Revision as of 09:23, 1 July 2023