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 Modeling and Verification [[electronic resource] ] : Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings / / edited by Holger Hermanns, Roberto Segala
| Process Algebra and Probabilistic Methods: Performance Modeling and Verification [[electronic resource] ] : Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings / / edited by Holger Hermanns, Roberto Segala |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (X, 222 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Algebra
Software engineering Mathematical models Computer logic Programming languages (Electronic computers) Software Engineering/Programming and Operating Systems Mathematical Modeling and Industrial Mathematics Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-45605-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Contributions -- Failure Detection vs Group Membership in Fault-Tolerant Distributed Systems: Hidden Trade-Offs -- Probability and Timing: Challenges for Secure Programming -- Selected Papers -- Security Analysis of a Probabilistic Non-repudiation Protocol -- The Mean Value of the Maximum -- Reduction and Refinement Strategies for Probabilistic Analysis -- Action Refinement for Probabilistic Processes with True Concurrency Models -- Probabilistic Unfoldings and Partial Order Fairness in Petri Nets -- Possibilistic and Probabilistic Abstraction-Based Model Checking -- Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling -- Model Checking CSL until Formulae with Random Time Bounds -- Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol -- Deriving Symbolic Representations from Stochastic Process Algebras -- Short Abstracts -- A Generalization of Equational Proof Theory? -- An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems -- Probabilistic Abstract Interpretation and Statistical Testing -- Approximate Verification of Probabilistic Systems. |
| Record Nr. | UNISA-996466371603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Process Algebra and Probabilistic Methods: Performance Modeling and Verification : Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings / / edited by Holger Hermanns, Roberto Segala
| Process Algebra and Probabilistic Methods: Performance Modeling and Verification : Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings / / edited by Holger Hermanns, Roberto Segala |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (X, 222 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Algebra
Software engineering Mathematical models Computer logic Programming languages (Electronic computers) Software Engineering/Programming and Operating Systems Mathematical Modeling and Industrial Mathematics Logics and Meanings of Programs Software Engineering Programming Languages, Compilers, Interpreters |
| ISBN | 3-540-45605-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Contributions -- Failure Detection vs Group Membership in Fault-Tolerant Distributed Systems: Hidden Trade-Offs -- Probability and Timing: Challenges for Secure Programming -- Selected Papers -- Security Analysis of a Probabilistic Non-repudiation Protocol -- The Mean Value of the Maximum -- Reduction and Refinement Strategies for Probabilistic Analysis -- Action Refinement for Probabilistic Processes with True Concurrency Models -- Probabilistic Unfoldings and Partial Order Fairness in Petri Nets -- Possibilistic and Probabilistic Abstraction-Based Model Checking -- Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling -- Model Checking CSL until Formulae with Random Time Bounds -- Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol -- Deriving Symbolic Representations from Stochastic Process Algebras -- Short Abstracts -- A Generalization of Equational Proof Theory? -- An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems -- Probabilistic Abstract Interpretation and Statistical Testing -- Approximate Verification of Probabilistic Systems. |
| Record Nr. | UNINA-9910143882303321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||