Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions (Q3506862): Difference between revisions

@@ Property / author @@
+Thomas A. Henzinger
@@ Property / author: Thomas A. Henzinger / 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.1007/978-3-540-68413-8_2
+Normal rank
@@ Property / OpenAlex ID @@
+W2121523192
@@ Property / OpenAlex ID: W2121523192 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552454
@@ Property / cites work: Q4552454 / rank @@
+Normal rank
@@ Property / cites work @@
+Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
+Normal rank
@@ Property / cites work @@
+Q4553263
@@ Property / cites work: Q4553263 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic model checking of complex biological pathways
+Normal rank
@@ Property / cites work @@
+Q4473721
@@ Property / cites work: Q4473721 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413201
@@ Property / cites work: Q4413201 / rank @@
+Normal rank
@@ Property / cites work @@
+Control and data abstraction: The cornerstones of practical formal verification
+Normal rank
@@ Property / cites work @@
+Application of a stochastic name-passing calculus to representation and simulation of molecular processes
+Normal rank