Modeling cellular signaling systems: An abstraction-refinement approach

Keyphrases

• Concurrent Constraint Programming 100%
• Cellular Signaling Systems 100%
• Abstraction Refinement 100%
• Modeling Strategy 50%
• Systems-based 25%
• Cell-cell Communication 25%
• Differential Equations 25%
• Partial Information 25%
• Molecular Mechanism 25%
• Signaling Pathway 25%
• Cell Function 25%
• Concurrency Model 25%
• Declarative Model 25%
• Abstract Model 25%
• G Protein-coupled Receptor 25%
• Reactive Systems 25%
• Concurrent Behavior 25%
• G Protein 25%
• Runnable 25%
• Concurrent Processes 25%

INIS

• modeling 100%
• constraints 100%
• information 66%
• programming 66%
• environment 33%
• simulation 33%
• probabilistic estimation 33%
• g-proteins 33%
• interactions 16%
• implementation 16%
• receptors 16%
• differential equations 16%
• specifications 16%

Computer Science

• Constraint Programming 100%
• Signalling System 100%
• Concurrency 25%
• Reactive System 25%
• Molecular Mechanism 25%
• Concurrent Process 25%
• Signaling Pathway 25%
• Traditional Method 25%