Hochschulschrift
Reaction constraints for the pi-calculus : a language for the stochastic and spatial modeling of cell-biological processes
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783832527259
- Maße
-
21 cm
- Umfang
-
XIII, 258 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zugl.: Rostock, Univ., Diss., 2010
- Schlagwort
-
Cytologie
Systembiologie
Pi-Kalkül
Zelle
Cytologie
Eukaryoten
Protoplasma
Eukaryontische Zelle
Computersimulation
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:57 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- John, Mathias
- Logos-Verl.
Entstanden
- 2010
Ähnliche Objekte (12)
Reaction constraints for the pi-calculus : a language for the stochastic and spatial modeling of cell-biological processes
![Generation of counterexamples for the μ-calculus [my-calculus]](/assets/placeholder/searchResultMediaNoDigitisedMedia.png)
Generation of counterexamples for the μ-calculus [my-calculus]
The functional calculus for sectorial operators
Satisfiability Checking for the Coalgebraic µ-Calculus
Operational semantics for the Petri box calculus
Equipping the rapid reaction force : options for and constraints on a European defence equipment strategy
General refinement and recursion for the box calculus
Plaque and calculus removal : considerations for the professional
Searching for the FED's reaction function
The parametric lambda calculus : a meta-model for computation
The functional calculus for sectorial operators and similarity methods
Contextual equivalence for the pi-calculus that can stop
Reaction constraints for the pi-calculus : a language for the stochastic and spatial modeling of cell-biological processes
Generation of counterexamples for the μ-calculus [my-calculus]
The functional calculus for sectorial operators
Satisfiability Checking for the Coalgebraic µ-Calculus
Operational semantics for the Petri box calculus
Equipping the rapid reaction force : options for and constraints on a European defence equipment strategy
General refinement and recursion for the box calculus
Plaque and calculus removal : considerations for the professional
Searching for the FED's reaction function
The parametric lambda calculus : a meta-model for computation
The functional calculus for sectorial operators and similarity methods
Contextual equivalence for the pi-calculus that can stop
Reaction constraints for the pi-calculus : a language for the stochastic and spatial modeling of cell-biological processes
Generation of counterexamples for the μ-calculus [my-calculus]
The functional calculus for sectorial operators
Satisfiability Checking for the Coalgebraic µ-Calculus
Operational semantics for the Petri box calculus
Equipping the rapid reaction force : options for and constraints on a European defence equipment strategy
General refinement and recursion for the box calculus
Plaque and calculus removal : considerations for the professional
Searching for the FED's reaction function
The parametric lambda calculus : a meta-model for computation
The functional calculus for sectorial operators and similarity methods