Coverart for item
The Resource 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

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

Label
Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
Title
Process algebra and probabilistic methods
Title remainder
performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
Statement of responsibility
Holger Hermanns, Roberto Segala, eds
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the refereed proceedings of the Joint International Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2002, held in Copenhagen, Denmark, in July 2002. The 10 revised full papers and four abstracts presented together with two invited contributions were carefully reviewed and selected from 19 submissions. Among the issues addressed are fault-tolerant systems, security analysis, probabilistic protocols, reduction refinement, concurrency, model checking, stochastic modeling, local area network protocols, stochastic process algebras, and Petri nets
Member of
Cataloging source
COO
Dewey number
511.3
Illustrations
illustrations
Index
index present
LC call number
QA267
LC item number
.P362 2002
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2002
http://bibfra.me/vocab/lite/meetingName
PAPM-PROBMIV 2002
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
  • 1967-
  • 1968-
http://library.link/vocab/relatedWorkOrContributorName
  • Hermanns, Holger
  • Segala, Roberto
Series statement
Lecture notes in computer science,
Series volume
2399
http://library.link/vocab/subjectName
  • Machine theory
  • Parallel processing (Electronic computers)
  • Machine theory
  • Parallel processing (Electronic computers)
Label
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
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
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
Control code
50393752
Dimensions
unknown
Extent
1 online resource (x, 214 pages)
Form of item
online
Isbn
9783540456056
Lccn
2002075867
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-45605-8
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)50393752
Label
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
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
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
Control code
50393752
Dimensions
unknown
Extent
1 online resource (x, 214 pages)
Form of item
online
Isbn
9783540456056
Lccn
2002075867
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-45605-8
Other physical details
illustrations.
Specific material designation
remote
System control number
(OCoLC)50393752

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...