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
Member of
Additional physical form
Also available via the World Wide Web.
Cataloging source
DLC
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
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)
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
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • 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
  • 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
Control code
50072386
Dimensions
24 cm
Dimensions
unknown
Extent
x, 214 pages
Isbn
9783540439134
Isbn Type
(pbk. : alk. paper)
Lccn
2002075867
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Specific material designation
remote
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
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • 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
  • 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
Control code
50072386
Dimensions
24 cm
Dimensions
unknown
Extent
x, 214 pages
Isbn
9783540439134
Isbn Type
(pbk. : alk. paper)
Lccn
2002075867
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Specific material designation
remote

Library Locations

    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
    • University of Missouri Libraries DepositoryBorrow it
      2908 Lemone Blvd, Columbia, MO, 65211, US
      38.919360 -92.291620
Processing Feedback ...