Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008980751/catalog> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- catalog contributor b12620311.
- catalog contributor b12620312.
- catalog contributor b12620313.
- catalog created "2002.".
- catalog date "2002".
- catalog date "2002.".
- catalog dateCopyrighted "2002.".
- catalog description "Failure Detection vs Group Membership in Fault-Tolerant Distributed Systems: Hidden Trade-offs / Andre Schiper -- Probability and Timing: Challenges for Secure Programming / David Sands -- Security Analysis of a Probabilistic Non-repudiation Protocol / Alesandro Aldini and Roberto Gorrieri -- The Mean Value of the Maximum / Henrik Bohnenkamp and Boudewijn Haverkort -- Reduction and Refinement Strategies for Probabilistic Analysis / Pedro R. D'Argenio, Bertrand Jeannet, Henrik E. Jensen and Kim G. Larsen -- Action Refinement for Probabilistic Processes with True Concurrency Models / Harald Fecher, Mila Majster-Cederbaum and Jinzhao Wu -- Probabilistic Unfoldings and Partial Order Fairness in Petri Nets / Stefan Haar.".
- catalog description "Includes bibliographical references and index.".
- catalog extent "x, 214 p. :".
- catalog identifier "3540439137 (pbk. : alk. paper)".
- catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 2399".
- catalog issued "2002".
- catalog issued "2002.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "511.3 21".
- catalog subject "Machine theory Congresses.".
- catalog subject "Parallel processing (Electronic computers) Congresses.".
- catalog subject "QA267 .P362 2002".
- catalog tableOfContents "Failure Detection vs Group Membership in Fault-Tolerant Distributed Systems: Hidden Trade-offs / Andre Schiper -- Probability and Timing: Challenges for Secure Programming / David Sands -- Security Analysis of a Probabilistic Non-repudiation Protocol / Alesandro Aldini and Roberto Gorrieri -- The Mean Value of the Maximum / Henrik Bohnenkamp and Boudewijn Haverkort -- Reduction and Refinement Strategies for Probabilistic Analysis / Pedro R. D'Argenio, Bertrand Jeannet, Henrik E. Jensen and Kim G. Larsen -- Action Refinement for Probabilistic Processes with True Concurrency Models / Harald Fecher, Mila Majster-Cederbaum and Jinzhao Wu -- Probabilistic Unfoldings and Partial Order Fairness in Petri Nets / Stefan Haar.".
- catalog title "Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings / Holger Hermanns, Roberto Segala, eds.".
- catalog type "Conference proceedings. fast".
- catalog type "Kopenhagen (2002) swd".
- catalog type "text".