Automatically assigned DDC number: 00424
Manually assigned DDC number: 00424
Number of references: 16
Title: Towards Model Checking Stochastic Process Algebra
Author:
Author:
Author:
Author:
Subject: Holger Hermanns,Joost-pieter Katoen,Joachim Meyer-kayser,Markus Siegle Towards Model Checking Stochastic Process Algebra
Description: . Stochastic process algebra have been proven useful because they allow behaviour-oriented performance and reliability modelling. As opposed to traditional performance modelling techniques, the behaviouroriented style supports composition and abstraction in a natural way. However, analysis of stochastic process algebra models is state-oriented, because standard numerical analysis is typically based on the calculation of (transient and steady) state probabilities. This shift of paradigms hampers the acceptance of the process algebraic approach by performance modellers. In this paper, we develop an entirely behaviour-oriented analysis technique for stochastic process algebra. The key contribution is an action-based temporal logic to describe behaviours-of-interest, together with a model checking algorithm to derive the probability with which a stochastic process algebra model exhibits a given behaviour-of-interest. 1 Introduction The analysis of systems with respect to their performance...
Contributor: The Pennsylvania State University CiteSeer Archives
Publisher: unknown
Date: 2000-11-06
Pubyear: 2000
Format: ps
Identifier: http://citeseer.ist.psu.edu/378177.html
Source: ftp://ftp.informatik.uni-erlangen.de/local/inf7/mmb/ifm2000.ps.Z
Language: en
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Rights: unrestricted
<?xml version="1.0" encoding="UTF-8"?>
<references_metadata>
<rec ID="/56745.html" Type="inproceedings" CiteSeer_Book="Eighth International Conference on Computer Aided Verification CAV" CiteSeer_Volume="" Title="Verifying continuous-time Markov Chains,">
<identifier Org="ISBN:0769515975" Paper_ID="/56745.html" Extracted="0769515975" />
<identifier Org="ISBN:0769519520" Paper_ID="/56745.html" Extracted="0769519520" />
<identifier Org="ISBN:354021299X" Paper_ID="/56745.html" Extracted="354021299X" DDC="005.1/2" Normalized_DDC="00512" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540216715" Paper_ID="/56745.html" Extracted="3540216715" DDC="004.33" Normalized_DDC="00433" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540222650" Paper_ID="/56745.html" Extracted="3540222650" DDC="519.22" Normalized_DDC="51922" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540231692" Paper_ID="/56745.html" Extracted="3540231692" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540272313" Paper_ID="/56745.html" Extracted="3540272313" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540407537" Paper_ID="/56745.html" Extracted="3540407537" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540411968" Paper_ID="/56745.html" Extracted="3540411968" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540424792" Paper_ID="/56745.html" Extracted="3540424792" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354042556X" Paper_ID="/56745.html" Extracted="354042556X" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540439978" Paper_ID="/56745.html" Extracted="3540439978" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540648968" Paper_ID="/56745.html" Extracted="3540648968" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540664254" Paper_ID="/56745.html" Extracted="3540664254" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540688544" Paper_ID="/56745.html" Extracted="3540688544" DDC="004.6/2" Normalized_DDC="00462" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540709517" Paper_ID="/56745.html" Extracted="3540709517" />
<identifier Org="ISBN:3540712089" Paper_ID="/56745.html" Extracted="3540712089" />
<identifier Org="ISBN:3540724826" Paper_ID="/56745.html" Extracted="3540724826" />
<identifier Org="ISBN:3540779647" Paper_ID="/56745.html" Extracted="3540779647" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.07142857142857142" />
</rec>
<rec ID="/310136.html" Type="inproceedings" CiteSeer_Book="Computer Aided Verification" CiteSeer_Volume="" Title="Model Checking Continuous-Time Markov Chains by Transient Analysis,">
<identifier Org="ISBN:0769515975" Paper_ID="/310136.html" Extracted="0769515975" />
<identifier Org="ISBN:0769519520" Paper_ID="/310136.html" Extracted="0769519520" />
<identifier Org="ISBN:354021299X" Paper_ID="/310136.html" Extracted="354021299X" DDC="005.1/2" Normalized_DDC="00512" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540222650" Paper_ID="/310136.html" Extracted="3540222650" DDC="519.22" Normalized_DDC="51922" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540231692" Paper_ID="/310136.html" Extracted="3540231692" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540232079" Paper_ID="/310136.html" Extracted="3540232079" DDC="511/.5" Normalized_DDC="5115" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540311394" Paper_ID="/310136.html" Extracted="3540311394" DDC="005.14" Normalized_DDC="00514" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540403345" Paper_ID="/310136.html" Extracted="3540403345" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540408142" Paper_ID="/310136.html" Extracted="3540408142" DDC="004.2/4" Normalized_DDC="00424" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540411968" Paper_ID="/310136.html" Extracted="3540411968" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540424792" Paper_ID="/310136.html" Extracted="3540424792" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540424970" Paper_ID="/310136.html" Extracted="3540424970" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354042556X" Paper_ID="/310136.html" Extracted="354042556X" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540435395" Paper_ID="/310136.html" Extracted="3540435395" DDC="004.2/4" Normalized_DDC="00424" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540442529" Paper_ID="/310136.html" Extracted="3540442529" DDC="004.2/4" Normalized_DDC="00424" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540677704" Paper_ID="/310136.html" Extracted="3540677704" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540724826" Paper_ID="/310136.html" Extracted="3540724826" />
</rec>
<rec ID="/237435.html" Type="inproceedings" CiteSeer_Book="International Conference on Concurrency Theory" CiteSeer_Volume="" Title="Approximate Symbolic Model Checking of Continuous-Time Markov Chains,">
<identifier Org="ISBN:0769515975" Paper_ID="/237435.html" Extracted="0769515975" />
<identifier Org="ISBN:0849390834" Paper_ID="/237435.html" Extracted="0849390834" DDC="003/.76" Normalized_DDC="00376" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540222650" Paper_ID="/237435.html" Extracted="3540222650" DDC="519.22" Normalized_DDC="51922" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540231692" Paper_ID="/237435.html" Extracted="3540231692" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540272313" Paper_ID="/237435.html" Extracted="3540272313" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540403345" Paper_ID="/237435.html" Extracted="3540403345" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540411968" Paper_ID="/237435.html" Extracted="3540411968" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540424792" Paper_ID="/237435.html" Extracted="3540424792" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540424970" Paper_ID="/237435.html" Extracted="3540424970" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354042556X" Paper_ID="/237435.html" Extracted="354042556X" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540439978" Paper_ID="/237435.html" Extracted="3540439978" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540442529" Paper_ID="/237435.html" Extracted="3540442529" DDC="004.2/4" Normalized_DDC="00424" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540442618" Paper_ID="/237435.html" Extracted="3540442618" DDC="519.2/33" Normalized_DDC="519233" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540664254" Paper_ID="/237435.html" Extracted="3540664254" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540672605" Paper_ID="/237435.html" Extracted="3540672605" DDC="004.1" Normalized_DDC="0041" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540672826" Paper_ID="/237435.html" Extracted="3540672826" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540678972" Paper_ID="/237435.html" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540724826" Paper_ID="/237435.html" Extracted="3540724826" />
</rec>
<rec ID="/86928.html" Type="article" CiteSeer_Book="Information Processing Letters" CiteSeer_Volume="66" Title="On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints,">
<identifier Org="ISBN:1402001398" Paper_ID="/86928.html" Extracted="1402001398" DDC="160" Normalized_DDC="16" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540411968" Paper_ID="/86928.html" Extracted="3540411968" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540424970" Paper_ID="/86928.html" Extracted="3540424970" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540442529" Paper_ID="/86928.html" Extracted="3540442529" DDC="004.2/4" Normalized_DDC="00424" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540672826" Paper_ID="/86928.html" Extracted="3540672826" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.2" />
<identifier Org="ISBN:3832207562" Paper_ID="/86928.html" Extracted="3832207562" />
</rec>
<rec ID="/326954.html" Type="article" CiteSeer_Book="Theoretical Computer Science" CiteSeer_Volume="202" Title="A tutorial on {EMPA}: {A} theory of concurrent processes with nondeterminism, priorities, probabilities and time,">
<identifier Org="ISBN:0387231978" Paper_ID="/326954.html" Extracted="0387231978" DDC="004.6" Normalized_DDC="0046" Normalized_Weight="0.0625" />
<identifier Org="ISBN:0444828303" Paper_ID="/326954.html" Extracted="0444828303" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540201750" Paper_ID="/326954.html" Extracted="3540201750" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354020461X" Paper_ID="/326954.html" Extracted="354020461X" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354021044X" Paper_ID="/326954.html" Extracted="354021044X" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540222650" Paper_ID="/326954.html" Extracted="3540222650" DDC="519.22" Normalized_DDC="51922" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540291075" Paper_ID="/326954.html" Extracted="3540291075" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540408142" Paper_ID="/326954.html" Extracted="3540408142" DDC="004.2/4" Normalized_DDC="00424" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540411968" Paper_ID="/326954.html" Extracted="3540411968" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540418652" Paper_ID="/326954.html" Extracted="3540418652" DDC="004.2/11" Normalized_DDC="004211" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540424970" Paper_ID="/326954.html" Extracted="3540424970" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354042556X" Paper_ID="/326954.html" Extracted="354042556X" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540435395" Paper_ID="/326954.html" Extracted="3540435395" DDC="004.2/4" Normalized_DDC="00424" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540437037" Paper_ID="/326954.html" Extracted="3540437037" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540660100" Paper_ID="/326954.html" Extracted="3540660100" />
<identifier Org="ISBN:3540724826" Paper_ID="/326954.html" Extracted="3540724826" />
<identifier Org="ISBN:3540744061" Paper_ID="/326954.html" Extracted="3540744061" />
<identifier Org="ISBN:3540752102" Paper_ID="/326954.html" Extracted="3540752102" DDC="004.2/4" Normalized_DDC="00424" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540756973" Paper_ID="/326954.html" Extracted="3540756973" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
</rec>
<rec ID="/76053.html" Type="article" CiteSeer_Book="Lecture Notes in Computer Science" CiteSeer_Volume="1601" Title="Specifying Performance Measures for {PEPA},">
<identifier Org="ISBN:1600217133" Paper_ID="/76053.html" Extracted="1600217133" DDC="621.384" Normalized_DDC="621384" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540216715" Paper_ID="/76053.html" Extracted="3540216715" DDC="004.33" Normalized_DDC="00433" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540411968" Paper_ID="/76053.html" Extracted="3540411968" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:354042556X" Paper_ID="/76053.html" Extracted="354042556X" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540442529" Paper_ID="/76053.html" Extracted="3540442529" DDC="004.2/4" Normalized_DDC="00424" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540660100" Paper_ID="/76053.html" Extracted="3540660100" />
<identifier Org="ISBN:3540672605" Paper_ID="/76053.html" Extracted="3540672605" DDC="004.1" Normalized_DDC="0041" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540677151" Paper_ID="/76053.html" Extracted="3540677151" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540724826" Paper_ID="/76053.html" Extracted="3540724826" />
</rec>
<rec ID="/238815.html" Type="inproceedings" CiteSeer_Book="IEEE RealTime Systems Symposium" CiteSeer_Volume="" Title="Specification and Analysis of Soft Real-Time Systems: Quantity and Quality,">
<identifier Org="ISBN:0415383404" Paper_ID="/238815.html" Extracted="0415383404" />
<identifier Org="ISBN:0792379233" Paper_ID="/238815.html" Extracted="0792379233" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540411968" Paper_ID="/238815.html" Extracted="3540411968" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540424792" Paper_ID="/238815.html" Extracted="3540424792" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540678972" Paper_ID="/238815.html" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.2" />
<identifier Org="ISBN:3832207562" Paper_ID="/238815.html" Extracted="3832207562" />
<identifier Org="ISBN:9812389652" Paper_ID="/238815.html" Extracted="9812389652" DDC="004" Normalized_DDC="004" Normalized_Weight="0.2" />
</rec>
<rec ID="/53085.html" Type="inproceedings" CiteSeer_Book="PerformanceSIGMETRICS Tutorials" CiteSeer_Volume="" Title="Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras,">
<identifier Org="ISBN:0818670592" Paper_ID="/53085.html" Extracted="0818670592" DDC="004.2/4" Normalized_DDC="00424" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0818672102" Paper_ID="/53085.html" Extracted="0818672102" DDC="004.2/4/015115" Normalized_DDC="00424015115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0849314909" Paper_ID="/53085.html" Extracted="0849314909" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540202439" Paper_ID="/53085.html" Extracted="3540202439" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540291075" Paper_ID="/53085.html" Extracted="3540291075" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540403345" Paper_ID="/53085.html" Extracted="3540403345" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540411968" Paper_ID="/53085.html" Extracted="3540411968" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540418652" Paper_ID="/53085.html" Extracted="3540418652" DDC="004.2/11" Normalized_DDC="004211" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540424792" Paper_ID="/53085.html" Extracted="3540424792" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354042556X" Paper_ID="/53085.html" Extracted="354042556X" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354057297X" Paper_ID="/53085.html" Extracted="354057297X" DDC="004.6" Normalized_DDC="0046" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540580212" Paper_ID="/53085.html" Extracted="3540580212" DDC="004.24/01/1" Normalized_DDC="00424011" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354060300X" Paper_ID="/53085.html" Extracted="354060300X" DDC="004.2/4" Normalized_DDC="00424" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540616047" Paper_ID="/53085.html" Extracted="3540616047" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540671935" Paper_ID="/53085.html" Extracted="3540671935" DDC="004/.029/7" Normalized_DDC="0040297" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540672605" Paper_ID="/53085.html" Extracted="3540672605" DDC="004.1" Normalized_DDC="0041" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540724826" Paper_ID="/53085.html" Extracted="3540724826" />
<identifier Org="ISBN:3540752102" Paper_ID="/53085.html" Extracted="3540752102" DDC="004.2/4" Normalized_DDC="00424" Normalized_Weight="0.058823529411764705" />
</rec>
<rec ID="/187254.html" Type="article" CiteSeer_Book="Formal Aspects of Computing" CiteSeer_Volume="6" Title="A Logic for Reasoning about Time and Reliability,">
<identifier Org="ISBN:0444828303" Paper_ID="/187254.html" Extracted="0444828303" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.0625" />
<identifier Org="ISBN:1402056893" Paper_ID="/187254.html" Extracted="1402056893" DDC="378.469425" Normalized_DDC="378469425" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540000100" Paper_ID="/187254.html" Extracted="3540000100" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540222650" Paper_ID="/187254.html" Extracted="3540222650" DDC="519.22" Normalized_DDC="51922" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540253882" Paper_ID="/187254.html" Extracted="3540253882" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540410554" Paper_ID="/187254.html" Extracted="3540410554" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354042556X" Paper_ID="/187254.html" Extracted="354042556X" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540440437" Paper_ID="/187254.html" Extracted="3540440437" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540441654" Paper_ID="/187254.html" Extracted="3540441654" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540600450" Paper_ID="/187254.html" Extracted="3540600450" DDC="004.2/4/015113" Normalized_DDC="00424015113" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540610421" Paper_ID="/187254.html" Extracted="3540610421" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540660100" Paper_ID="/187254.html" Extracted="3540660100" />
<identifier Org="ISBN:3540672605" Paper_ID="/187254.html" Extracted="3540672605" DDC="004.1" Normalized_DDC="0041" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540678972" Paper_ID="/187254.html" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540688544" Paper_ID="/187254.html" Extracted="3540688544" DDC="004.6/2" Normalized_DDC="00462" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540712089" Paper_ID="/187254.html" Extracted="3540712089" />
<identifier Org="ISBN:3540731954" Paper_ID="/187254.html" Extracted="3540731954" DDC="004.6/2" Normalized_DDC="00462" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540754539" Paper_ID="/187254.html" Extracted="3540754539" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540896732" Paper_ID="/187254.html" Extracted="3540896732" />
</rec>
<rec ID="/485555.html" Type="article" CiteSeer_Book="Theoretical Computer Science" CiteSeer_Volume="274" Title="Process algebra for performance evaluation,">
<identifier Org="ISBN:0769519520" Paper_ID="/485555.html" Extracted="0769519520" />
<identifier Org="ISBN:0792374703" Paper_ID="/485555.html" Extracted="0792374703" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540211799" Paper_ID="/485555.html" Extracted="3540211799" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540231692" Paper_ID="/485555.html" Extracted="3540231692" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540291075" Paper_ID="/485555.html" Extracted="3540291075" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540407537" Paper_ID="/485555.html" Extracted="3540407537" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540411968" Paper_ID="/485555.html" Extracted="3540411968" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540424792" Paper_ID="/485555.html" Extracted="3540424792" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540424970" Paper_ID="/485555.html" Extracted="3540424970" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354042556X" Paper_ID="/485555.html" Extracted="354042556X" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540439285" Paper_ID="/485555.html" Extracted="3540439285" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540442529" Paper_ID="/485555.html" Extracted="3540442529" DDC="004.2/4" Normalized_DDC="00424" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540752102" Paper_ID="/485555.html" Extracted="3540752102" DDC="004.2/4" Normalized_DDC="00424" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540756973" Paper_ID="/485555.html" Extracted="3540756973" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540784977" Paper_ID="/485555.html" Extracted="3540784977" DDC="003" Normalized_DDC="003" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540859918" Paper_ID="/485555.html" Extracted="3540859918" />
</rec>
<rec ID="/260424.html" Type="article" CiteSeer_Book="Lecture Notes in Computer Science" CiteSeer_Volume="1469" Title="Compositional Performance Modelling with the {TIPPtool},">
<identifier Org="ISBN:0471491950" Paper_ID="/260424.html" Extracted="0471491950" DDC="004.2/4" Normalized_DDC="00424" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:1604561866" Paper_ID="/260424.html" Extracted="1604561866" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540008985" Paper_ID="/260424.html" Extracted="3540008985" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540231692" Paper_ID="/260424.html" Extracted="3540231692" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540235264" Paper_ID="/260424.html" Extracted="3540235264" />
<identifier Org="ISBN:3540408142" Paper_ID="/260424.html" Extracted="3540408142" DDC="004.2/4" Normalized_DDC="00424" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540411968" Paper_ID="/260424.html" Extracted="3540411968" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540424792" Paper_ID="/260424.html" Extracted="3540424792" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540424970" Paper_ID="/260424.html" Extracted="3540424970" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354042556X" Paper_ID="/260424.html" Extracted="354042556X" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540439285" Paper_ID="/260424.html" Extracted="3540439285" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540442529" Paper_ID="/260424.html" Extracted="3540442529" DDC="004.2/4" Normalized_DDC="00424" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540442618" Paper_ID="/260424.html" Extracted="3540442618" DDC="519.2/33" Normalized_DDC="519233" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540662022" Paper_ID="/260424.html" Extracted="3540662022" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540724826" Paper_ID="/260424.html" Extracted="3540724826" />
<identifier Org="ISBN:3540779647" Paper_ID="/260424.html" Extracted="3540779647" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3832207562" Paper_ID="/260424.html" Extracted="3832207562" />
<identifier Org="ISBN:9812389652" Paper_ID="/260424.html" Extracted="9812389652" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />
</rec>
<rec ID="/20469.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Stochastic Process Algebras as a Tool for Performance and Dependability Modelling,">
<identifier Org="ISBN:0521571898" Paper_ID="/20469.html" Extracted="0521571898" DDC="004.2/4/011" Normalized_DDC="00424011" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:0780399781" Paper_ID="/20469.html" Extracted="0780399781" />
<identifier Org="ISBN:0818670592" Paper_ID="/20469.html" Extracted="0818670592" DDC="004.2/4" Normalized_DDC="00424" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540411968" Paper_ID="/20469.html" Extracted="3540411968" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540421459" Paper_ID="/20469.html" Extracted="3540421459" DDC="004.2/4" Normalized_DDC="00424" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540442529" Paper_ID="/20469.html" Extracted="3540442529" DDC="004.2/4" Normalized_DDC="00424" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540442618" Paper_ID="/20469.html" Extracted="3540442618" DDC="519.2/33" Normalized_DDC="519233" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3540601252" Paper_ID="/20469.html" Extracted="3540601252" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.14285714285714285" />
<identifier Org="ISBN:3832207562" Paper_ID="/20469.html" Extracted="3832207562" />
</rec>
<rec ID="/609392.html" Type="inproceedings" CiteSeer_Book="Tools and Algorithms for Construction and Analysis of Systems" CiteSeer_Volume="" Title="A Markov Chain Model Checker,">
<identifier Org="ISBN:0849390834" Paper_ID="/609392.html" Extracted="0849390834" DDC="003/.76" Normalized_DDC="00376" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540202439" Paper_ID="/609392.html" Extracted="3540202439" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540208038" Paper_ID="/609392.html" Extracted="3540208038" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540222650" Paper_ID="/609392.html" Extracted="3540222650" DDC="519.22" Normalized_DDC="51922" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540238417" Paper_ID="/609392.html" Extracted="3540238417" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540272313" Paper_ID="/609392.html" Extracted="3540272313" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540403345" Paper_ID="/609392.html" Extracted="3540403345" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540411968" Paper_ID="/609392.html" Extracted="3540411968" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540423451" Paper_ID="/609392.html" Extracted="3540423451" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540424792" Paper_ID="/609392.html" Extracted="3540424792" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540424970" Paper_ID="/609392.html" Extracted="3540424970" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354042556X" Paper_ID="/609392.html" Extracted="354042556X" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540434194" Paper_ID="/609392.html" Extracted="3540434194" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540435395" Paper_ID="/609392.html" Extracted="3540435395" DDC="004.2/4" Normalized_DDC="00424" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540439285" Paper_ID="/609392.html" Extracted="3540439285" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540440437" Paper_ID="/609392.html" Extracted="3540440437" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540442529" Paper_ID="/609392.html" Extracted="3540442529" DDC="004.2/4" Normalized_DDC="00424" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540688625" Paper_ID="/609392.html" Extracted="3540688625" />
<identifier Org="ISBN:3540779647" Paper_ID="/609392.html" Extracted="3540779647" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.05555555555555555" />
</rec>
<rec ID="/390309.html" Type="article" CiteSeer_Book="Lecture Notes in Computer Science" CiteSeer_Volume="1601" Title="Bisimulation Algorithms for Stochastic Process Algebras and Their {BDD}-Based Implementation,">
<identifier Org="ISBN:0471491950" Paper_ID="/390309.html" Extracted="0471491950" DDC="004.2/4" Normalized_DDC="00424" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540222650" Paper_ID="/390309.html" Extracted="3540222650" DDC="519.22" Normalized_DDC="51922" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540304924" Paper_ID="/390309.html" Extracted="3540304924" DDC="004.01/51" Normalized_DDC="0040151" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540411968" Paper_ID="/390309.html" Extracted="3540411968" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540424792" Paper_ID="/390309.html" Extracted="3540424792" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540424970" Paper_ID="/390309.html" Extracted="3540424970" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:354042556X" Paper_ID="/390309.html" Extracted="354042556X" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540442529" Paper_ID="/390309.html" Extracted="3540442529" DDC="004.2/4" Normalized_DDC="00424" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540660100" Paper_ID="/390309.html" Extracted="3540660100" />
<identifier Org="ISBN:3540677704" Paper_ID="/390309.html" Extracted="3540677704" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540712089" Paper_ID="/390309.html" Extracted="3540712089" />
<identifier Org="ISBN:3832207562" Paper_ID="/390309.html" Extracted="3832207562" />
</rec>
<rec ID="/231699.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="A Compositional Approach to Performance Modelling,">
<identifier Org="ISBN:0521571898" Paper_ID="/231699.html" Extracted="0521571898" DDC="004.2/4/011" Normalized_DDC="00424011" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0818672102" Paper_ID="/231699.html" Extracted="0818672102" DDC="004.2/4/015115" Normalized_DDC="00424015115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1586030132" Paper_ID="/231699.html" Extracted="1586030132" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1852333928" Paper_ID="/231699.html" Extracted="1852333928" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540201262" Paper_ID="/231699.html" Extracted="3540201262" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540211799" Paper_ID="/231699.html" Extracted="3540211799" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540219455" Paper_ID="/231699.html" Extracted="3540219455" DDC="004.6" Normalized_DDC="0046" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540231692" Paper_ID="/231699.html" Extracted="3540231692" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540278826" Paper_ID="/231699.html" Extracted="3540278826" DDC="004.13/1" Normalized_DDC="004131" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540408142" Paper_ID="/231699.html" Extracted="3540408142" DDC="004.2/4" Normalized_DDC="00424" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540411968" Paper_ID="/231699.html" Extracted="3540411968" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540424792" Paper_ID="/231699.html" Extracted="3540424792" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354042556X" Paper_ID="/231699.html" Extracted="354042556X" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540435395" Paper_ID="/231699.html" Extracted="3540435395" DDC="004.2/4" Normalized_DDC="00424" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540439285" Paper_ID="/231699.html" Extracted="3540439285" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540442529" Paper_ID="/231699.html" Extracted="3540442529" DDC="004.2/4" Normalized_DDC="00424" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540678972" Paper_ID="/231699.html" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540709517" Paper_ID="/231699.html" Extracted="3540709517" />
<identifier Org="ISBN:3540724826" Paper_ID="/231699.html" Extracted="3540724826" />
</rec>
<rec ID="/602186.html" Type="inproceedings" CiteSeer_Book="Tools and Algorithms for Construction and Analysis of Systems" CiteSeer_Volume="" Title="Efficient Diagnostic Generation for Boolean Equation Systems,">
<identifier Org="ISBN:0387240500" Paper_ID="/602186.html" Extracted="0387240500" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.5" />
<identifier Org="ISBN:3540672826" Paper_ID="/602186.html" Extracted="3540672826" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.5" />
<identifier Org="ISBN:354068235X" Paper_ID="/602186.html" Extracted="354068235X" />
<identifier Org="ISBN:3540851135" Paper_ID="/602186.html" Extracted="3540851135" />
</rec>
<rec ID="SELF" Type="SELF" CiteSeer_Book="SELF" CiteSeer_Volume="SELF" Title="Towards Model Checking Stochastic Process Algebra">
<identifier Org="ISBN:0769519520" Paper_ID="SELF" Extracted="0769519520" />
<identifier Org="ISBN:3540231692" Paper_ID="SELF" Extracted="3540231692" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540411968" Paper_ID="SELF" Extracted="3540411968" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540424792" Paper_ID="SELF" Extracted="3540424792" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540424970" Paper_ID="SELF" Extracted="3540424970" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:354042556X" Paper_ID="SELF" Extracted="354042556X" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540437037" Paper_ID="SELF" Extracted="3540437037" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540442529" Paper_ID="SELF" Extracted="3540442529" DDC="004.2/4" Normalized_DDC="00424" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540442618" Paper_ID="SELF" Extracted="3540442618" DDC="519.2/33" Normalized_DDC="519233" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540724826" Paper_ID="SELF" Extracted="3540724826" />
<identifier Org="ISBN:3642009441" Paper_ID="SELF" Extracted="3642009441" />
<identifier Org="ISBN:3832207562" Paper_ID="SELF" Extracted="3832207562" />
<identifier Org="ISBN:9812389652" Paper_ID="SELF" Extracted="9812389652" DDC="004" Normalized_DDC="004" Normalized_Weight="0.1111111111111111" />
</rec>
</references_metadata>