Name
Abstract | ||
|---|---|---|
This paper presents the use of P systems and π-calculus to model interacting molecular entities and how they are translated into a probabilistic and symbolic model checker called PRISM. |
Year | DOI | Venue |
|---|---|---|
2006 | 10.1007/11963516_30 | Workshop on Membrane Computing |
Keywords | Field | DocType |
p system | Computation tree logic,Abstraction model checking,Model checking,Continuous-time Markov chain,Computer science,Theoretical computer science,Probabilistic logic,Probabilistic model checking | Conference |
Volume | ISSN | ISBN |
4361 | 0302-9743 | 3-540-69088-3 |
Citations | PageRank | References |
12 | 0.71 | 16 |
Authors | ||
6 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Francisco José Romero-Campero | 1 | 184 | 14.86 |
| Marian Gheorghe | 2 | 893 | 74.31 |
| Luca Bianco | 3 | 239 | 18.51 |
| Dario Pescini | 4 | 274 | 25.92 |
| Mario J. Pérez-Jiménez | 5 | 2207 | 180.19 |
| Rodica Ceterchi | 6 | 119 | 17.38 |