Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Process Algebra and Probabilistic Methods. Performance Modelling and Verification [[electronic resource] ] : Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings / / edited by Luca de Alfaro, Stephen Gilmore
| Process Algebra and Probabilistic Methods. Performance Modelling and Verification [[electronic resource] ] : Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings / / edited by Luca de Alfaro, Stephen Gilmore |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (XII, 224 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Algebra
Computers Probabilities Computer logic Software engineering Programming languages (Electronic computers) Theory of Computation Probability Theory and Stochastic Processes Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-44804-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper -- Advances in Model Representations -- Contributed Papers -- Faster and Symbolic CTMC Model Checking -- Reachability Analysis of Probabilistic Systems by Successive Refinements -- Beyond Memoryless Distributions: Model Checking Semi-Markov Chains -- Coin Lemmas with Random Variables -- MoDeST — A Modelling and Description Language for Stochastic Timed Systems -- Randomization Helps in LTL Model Checking -- An Efficient Kronecker Representation for PEPA Models -- Reward Based Congruences: Can We Aggregate More? -- Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes -- Expressing Processes with Different Action Durations through Probabilities -- Quantifying the Dynamic Behavior of Process Algebras -- Implementing a Stochastic Process Algebra within the Möbius Modeling Framework. |
| Record Nr. | UNISA-996465810303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Process Algebra and Probabilistic Methods. Performance Modelling and Verification : Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings / / edited by Luca de Alfaro, Stephen Gilmore
| Process Algebra and Probabilistic Methods. Performance Modelling and Verification : Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings / / edited by Luca de Alfaro, Stephen Gilmore |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (XII, 224 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Algebra
Computers Probabilities Computer logic Software engineering Programming languages (Electronic computers) Theory of Computation Probability Theory and Stochastic Processes Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-44804-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Paper -- Advances in Model Representations -- Contributed Papers -- Faster and Symbolic CTMC Model Checking -- Reachability Analysis of Probabilistic Systems by Successive Refinements -- Beyond Memoryless Distributions: Model Checking Semi-Markov Chains -- Coin Lemmas with Random Variables -- MoDeST — A Modelling and Description Language for Stochastic Timed Systems -- Randomization Helps in LTL Model Checking -- An Efficient Kronecker Representation for PEPA Models -- Reward Based Congruences: Can We Aggregate More? -- Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes -- Expressing Processes with Different Action Durations through Probabilities -- Quantifying the Dynamic Behavior of Process Algebras -- Implementing a Stochastic Process Algebra within the Möbius Modeling Framework. |
| Record Nr. | UNINA-9910143625403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||