The following pages link to PEPA (Q22650):
Displaying 7 items.
- Modelling Intracellular Fate of FGF Receptors With BioAmbients (Q5415670) (← links)
- Three-Valued Abstraction for Continuous-Time Markov Chains (Q5429326) (← links)
- A Compositional Approach to Performance Modelling (Q5462953) (← links)
- (Q5687213) (← links)
- FM 2005: Formal Methods (Q5716883) (← links)
- Global Computing. Programming Environments, Languages, Security, and Analysis of Systems (Q5897116) (← links)
- Process algebra for performance evaluation (Q5958464) (← links)