Automatically assigned DDC number: 00436
Manually assigned DDC number: 00514
Number of references: 16
Title: An Inheritance-Based Technique for Building Simulation Proofs Incrementally
Author:
Author:
Author:
Author:
Subject: Idit Keidar,Roger Khazan,Nancy Lynch,Alex Shvartsman An Inheritance-Based Technique for Building Simulation Proofs Incrementally
Description: This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their specifications. The technique for building specifications (and algorithms) allows a child specification (or algorithm) to inherit from its parent by two forms of incremental modification: (a) interface extension, where new forms of interaction are added to the parent's interface, and (b) specialization (subtyping), where new data, restrictions, and effects are added to the parent's behavior description. The combination of interface extension and specialization constitutes a powerful and expressive incremental modification mechanism for describing changes that do not override the behavior of the parent, although it may introduce new behavior. Consider the case when incremental modification is applied to both a parent specification S and a parent algorithm A. A proof that the child algorithm A 0 implements the...
Contributor: The Pennsylvania State University CiteSeer Archives
Publisher: unknown
Date: 2000-03-11
Pubyear: 2000
Format: ps
Identifier: http://citeseer.ist.psu.edu/299408.html
Source: http://theory.lcs.mit.edu/~idish/ftp/icse00.ps.gz
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="/721685.html" Type="article" CiteSeer_Book="Theoretical Computer Science" CiteSeer_Volume="82" Title="The Existence of Refinement Mappings,">
<identifier Org="ISBN:0818608536" Paper_ID="/721685.html" Extracted="0818608536" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540008993" Paper_ID="/721685.html" Extracted="3540008993" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540206329" Paper_ID="/721685.html" Extracted="3540206329" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540223819" Paper_ID="/721685.html" Extracted="3540223819" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540253335" Paper_ID="/721685.html" Extracted="3540253335" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540402535" Paper_ID="/721685.html" Extracted="3540402535" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540418652" Paper_ID="/721685.html" Extracted="3540418652" DDC="004.2/11" Normalized_DDC="004211" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540438572" Paper_ID="/721685.html" Extracted="3540438572" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540525599" Paper_ID="/721685.html" Extracted="3540525599" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540552367" Paper_ID="/721685.html" Extracted="3540552367" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540555641" Paper_ID="/721685.html" Extracted="3540555641" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540558225" Paper_ID="/721685.html" Extracted="3540558225" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540565965" Paper_ID="/721685.html" Extracted="3540565965" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.05" />
<identifier Org="ISBN:354056943X" Paper_ID="/721685.html" Extracted="354056943X" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540583297" Paper_ID="/721685.html" Extracted="3540583297" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540584676" Paper_ID="/721685.html" Extracted="3540584676" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540590471" Paper_ID="/721685.html" Extracted="3540590471" DDC="621.39/2" Normalized_DDC="621392" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540619291" Paper_ID="/721685.html" Extracted="3540619291" DDC="621.1/83" Normalized_DDC="621183" Normalized_Weight="0.05" />
<identifier Org="ISBN:354063388X" Paper_ID="/721685.html" Extracted="354063388X" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.05" />
<identifier Org="ISBN:3540665595" Paper_ID="/721685.html" Extracted="3540665595" DDC="621.3815" Normalized_DDC="6213815" Normalized_Weight="0.05" />
</rec>
<rec ID="/300278.html" Type="techreport" CiteSeer_Book="" CiteSeer_Volume="" Title="On the Formal Specification of Group Membership Services,">
<identifier Org="ISBN:0137195842" Paper_ID="/300278.html" Extracted="0137195842" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0387215093" Paper_ID="/300278.html" Extracted="0387215093" DDC="004.6" Normalized_DDC="0046" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0471139467" Paper_ID="/300278.html" Extracted="0471139467" DDC="621.3/03" Normalized_DDC="621303" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:0769515975" Paper_ID="/300278.html" Extracted="0769515975" />
<identifier Org="ISBN:0818672617" Paper_ID="/300278.html" Extracted="0818672617" />
<identifier Org="ISBN:0897918002" Paper_ID="/300278.html" Extracted="0897918002" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540009124" Paper_ID="/300278.html" Extracted="3540009124" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540254242" Paper_ID="/300278.html" Extracted="3540254242" DDC="004.1/1" Normalized_DDC="00411" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540275800" Paper_ID="/300278.html" Extracted="3540275800" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540429123" Paper_ID="/300278.html" Extracted="3540429123" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540616489" Paper_ID="/300278.html" Extracted="3540616489" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540643591" Paper_ID="/300278.html" Extracted="3540643591" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540657037" Paper_ID="/300278.html" Extracted="3540657037" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540665315" Paper_ID="/300278.html" Extracted="3540665315" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:354067196X" Paper_ID="/300278.html" Extracted="354067196X" DDC="005/.36" Normalized_DDC="00536" Normalized_Weight="0.07692307692307693" />
<identifier Org="ISBN:3540705910" Paper_ID="/300278.html" Extracted="3540705910" />
</rec>
<rec ID="/559574.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="An object-oriented approach to verifying group communication systems,">
<identifier Org="ISBN:1402006071" Paper_ID="/559574.html" Extracted="1402006071" DDC="004" Normalized_DDC="004" Normalized_Weight="1.0" />
</rec>
<rec ID="/190300.html" Type="inproceedings" CiteSeer_Book="Symposium on Principles of Distributed Computing" CiteSeer_Volume="" Title="An Adaptive Totally Ordered Multicast Protocol That Tolerates Partitions,">
<identifier Org="ISBN:0769511538" Paper_ID="/190300.html" Extracted="0769511538" />
<identifier Org="ISBN:0792377117" Paper_ID="/190300.html" Extracted="0792377117" DDC="004.6" Normalized_DDC="0046" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:3540287000" Paper_ID="/190300.html" Extracted="3540287000" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:3540650660" Paper_ID="/190300.html" Extracted="3540650660" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.3333333333333333" />
</rec>
<rec ID="/555882.html" Type="inproceedings" CiteSeer_Book="Proceedings of the Conference on ObjectOriented Programming Systems Languages and Applications OOPSLA" CiteSeer_Volume="" Title="A denotational semantics of inheritance and its correctness,">
<identifier Org="ISBN:026207155X" Paper_ID="/555882.html" Extracted="026207155X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540287671" Paper_ID="/555882.html" Extracted="3540287671" DDC="025/.00285" Normalized_DDC="02500285" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540291318" Paper_ID="/555882.html" Extracted="3540291318" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354053931X" Paper_ID="/555882.html" Extracted="354053931X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540542620" Paper_ID="/555882.html" Extracted="3540542620" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540556680" Paper_ID="/555882.html" Extracted="3540556680" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540571205" Paper_ID="/555882.html" Extracted="3540571205" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540585559" Paper_ID="/555882.html" Extracted="3540585559" DDC="005.1/01/5113" Normalized_DDC="0051015113" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540594507" Paper_ID="/555882.html" Extracted="3540594507" DDC="005.2" Normalized_DDC="0052" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540630899" Paper_ID="/555882.html" Extracted="3540630899" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354063388X" Paper_ID="/555882.html" Extracted="354063388X" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540634789" Paper_ID="/555882.html" Extracted="3540634789" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540647376" Paper_ID="/555882.html" Extracted="3540647376" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540650121" Paper_ID="/555882.html" Extracted="3540650121" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540661565" Paper_ID="/555882.html" Extracted="3540661565" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540678638" Paper_ID="/555882.html" Extracted="3540678638" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.0625" />
</rec>
<rec ID="/199349.html" Type="inproceedings" CiteSeer_Book="Symposium on Principles of Distributed Computing" CiteSeer_Volume="" Title="A Dynamic View-Oriented Group Communication Service,">
<identifier Org="ISBN:0521771641" Paper_ID="/199349.html" Extracted="0521771641" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.25" />
<identifier Org="ISBN:076950602X" Paper_ID="/199349.html" Extracted="076950602X" />
<identifier Org="ISBN:1581137087" Paper_ID="/199349.html" Extracted="1581137087" />
<identifier Org="ISBN:3540341412" Paper_ID="/199349.html" Extracted="3540341412" />
<identifier Org="ISBN:3540650660" Paper_ID="/199349.html" Extracted="3540650660" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.25" />
<identifier Org="ISBN:3540665315" Paper_ID="/199349.html" Extracted="3540665315" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.25" />
<identifier Org="ISBN:354067196X" Paper_ID="/199349.html" Extracted="354067196X" DDC="005/.36" Normalized_DDC="00536" Normalized_Weight="0.25" />
<identifier Org="ISBN:3642008666" Paper_ID="/199349.html" Extracted="3642008666" />
</rec>
<rec ID="/310224.html" Type="inproceedings" CiteSeer_Book="International Symposium on Distributed Computing" CiteSeer_Volume="" Title="A Dynamic Primary Configuration Group Communication Service,">
<identifier Org="ISBN:076950602X" Paper_ID="/310224.html" Extracted="076950602X" />
<identifier Org="ISBN:0769519520" Paper_ID="/310224.html" Extracted="0769519520" />
<identifier Org="ISBN:3540000739" Paper_ID="/310224.html" Extracted="3540000739" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.25" />
<identifier Org="ISBN:3540009124" Paper_ID="/310224.html" Extracted="3540009124" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.25" />
<identifier Org="ISBN:3540426531" Paper_ID="/310224.html" Extracted="3540426531" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.25" />
<identifier Org="ISBN:3540665315" Paper_ID="/310224.html" Extracted="3540665315" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.25" />
</rec>
<rec ID="/539199.html" Type="inproceedings" CiteSeer_Book="Symposium on Principles of Distributed Computing" CiteSeer_Volume="" Title="Eventually-Serializable Data Services,">
<identifier Org="ISBN:0792377117" Paper_ID="/539199.html" Extracted="0792377117" DDC="004.6" Normalized_DDC="0046" Normalized_Weight="0.125" />
<identifier Org="ISBN:0897918002" Paper_ID="/539199.html" Extracted="0897918002" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.125" />
<identifier Org="ISBN:1581130996" Paper_ID="/539199.html" Extracted="1581130996" />
<identifier Org="ISBN:3540273247" Paper_ID="/539199.html" Extracted="3540273247" DDC="004" Normalized_DDC="004" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540291636" Paper_ID="/539199.html" Extracted="3540291636" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540426531" Paper_ID="/539199.html" Extracted="3540426531" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540490183" Paper_ID="/539199.html" Extracted="3540490183" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540635750" Paper_ID="/539199.html" Extracted="3540635750" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.125" />
<identifier Org="ISBN:354068154X" Paper_ID="/539199.html" Extracted="354068154X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.125" />
<identifier Org="ISBN:3540768467" Paper_ID="/539199.html" Extracted="3540768467" />
</rec>
<rec ID="/68871.html" Type="inproceedings" CiteSeer_Book="Symposium on Reliable Distributed Systems" CiteSeer_Volume="" Title="Fast Replicated State Machines Over Partitionable Networks,">
<identifier Org="ISBN:0818681780" Paper_ID="/68871.html" Extracted="0818681780" />
</rec>
<rec ID="/135744.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Formal methods for developing high assurance computer systems: Working group report,">
<identifier Org="ISBN:0387953876" Paper_ID="/135744.html" Extracted="0387953876" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.5" />
<identifier Org="ISBN:3540426078" Paper_ID="/135744.html" Extracted="3540426078" DDC="005" Normalized_DDC="005" Normalized_Weight="0.5" />
</rec>
<rec ID="/529251.html" Type="techreport" CiteSeer_Book="" CiteSeer_Volume="" Title="The Generalized Railroad Crossing: {A} Case Study in Formal Verification of Real-Time Systems,">
<identifier Org="ISBN:0769503063" Paper_ID="/529251.html" Extracted="0769503063" />
<identifier Org="ISBN:0780331990" Paper_ID="/529251.html" Extracted="0780331990" />
<identifier Org="ISBN:0780338014" Paper_ID="/529251.html" Extracted="0780338014" />
<identifier Org="ISBN:0818666005" Paper_ID="/529251.html" Extracted="0818666005" />
<identifier Org="ISBN:0818674482" Paper_ID="/529251.html" Extracted="0818674482" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0818677406" Paper_ID="/529251.html" Extracted="0818677406" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:1586033425" Paper_ID="/529251.html" Extracted="1586033425" DDC="620/.00285/5" Normalized_DDC="620002855" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540000100" Paper_ID="/529251.html" Extracted="3540000100" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540008985" Paper_ID="/529251.html" Extracted="3540008985" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540231358" Paper_ID="/529251.html" Extracted="3540231358" DDC="005.10943" Normalized_DDC="00510943" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540253041" Paper_ID="/529251.html" Extracted="3540253041" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540601171" Paper_ID="/529251.html" Extracted="3540601171" DDC="004.2/0151" Normalized_DDC="00420151" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540604065" Paper_ID="/529251.html" Extracted="3540604065" />
<identifier Org="ISBN:354061155X" Paper_ID="/529251.html" Extracted="354061155X" DDC="629.8/9" Normalized_DDC="62989" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354062600X" Paper_ID="/529251.html" Extracted="354062600X" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540630104" Paper_ID="/529251.html" Extracted="3540630104" DDC="005.2/73" Normalized_DDC="005273" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540633790" Paper_ID="/529251.html" Extracted="3540633790" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540664637" Paper_ID="/529251.html" Extracted="3540664637" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540749837" Paper_ID="/529251.html" Extracted="3540749837" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.07142857142857142" />
</rec>
<rec ID="/232843.html" Type="inproceedings" CiteSeer_Book="5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems" CiteSeer_Volume="" Title="Specifications and Proofs for Ensemble Layers,">
<identifier Org="ISBN:0521771641" Paper_ID="/232843.html" Extracted="0521771641" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.2" />
<identifier Org="ISBN:0769502016" Paper_ID="/232843.html" Extracted="0769502016" />
<identifier Org="ISBN:076950602X" Paper_ID="/232843.html" Extracted="076950602X" />
<identifier Org="ISBN:0769520545" Paper_ID="/232843.html" Extracted="0769520545" />
<identifier Org="ISBN:1586036254" Paper_ID="/232843.html" Extracted="1586036254" />
<identifier Org="ISBN:3540000127" Paper_ID="/232843.html" Extracted="3540000127" DDC="004.2" Normalized_DDC="0042" Normalized_Weight="0.2" />
<identifier Org="ISBN:354020363X" Paper_ID="/232843.html" Extracted="354020363X" DDC="621.39/5" Normalized_DDC="621395" Normalized_Weight="0.2" />
<identifier Org="ISBN:354042525X" Paper_ID="/232843.html" Extracted="354042525X" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540657037" Paper_ID="/232843.html" Extracted="3540657037" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540705910" Paper_ID="/232843.html" Extracted="3540705910" />
</rec>
<rec ID="/264706.html" Type="inproceedings" CiteSeer_Book="International Conference on Distributed Computing Systems" CiteSeer_Volume="" Title="A Client-Server Oriented Algorithm for Virtually Synchronous Group Membership in {WANs},">
<identifier Org="ISBN:076950602X" Paper_ID="/264706.html" Extracted="076950602X" />
<identifier Org="ISBN:1594543968" Paper_ID="/264706.html" Extracted="1594543968" DDC="621.382/1" Normalized_DDC="6213821" Normalized_Weight="0.25" />
<identifier Org="ISBN:3540000739" Paper_ID="/264706.html" Extracted="3540000739" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.25" />
<identifier Org="ISBN:3540254242" Paper_ID="/264706.html" Extracted="3540254242" DDC="004.1/1" Normalized_DDC="00411" Normalized_Weight="0.25" />
<identifier Org="ISBN:3540422323" Paper_ID="/264706.html" Extracted="3540422323" DDC="004" Normalized_DDC="004" Normalized_Weight="0.25" />
<identifier Org="ISBN:8480214341" Paper_ID="/264706.html" Extracted="8480214341" />
</rec>
<rec ID="/233324.html" Type="inproceedings" CiteSeer_Book="International Symposium on Distributed Computing" CiteSeer_Volume="" Title="Multicast Group Communication as a Base for a Load-Balancing Replicated Data Service,">
<identifier Org="ISBN:076950602X" Paper_ID="/233324.html" Extracted="076950602X" />
<identifier Org="ISBN:1581138024" Paper_ID="/233324.html" Extracted="1581138024" />
<identifier Org="ISBN:3540417117" Paper_ID="/233324.html" Extracted="3540417117" DDC="658.5" Normalized_DDC="6585" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:3540650660" Paper_ID="/233324.html" Extracted="3540650660" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:354067196X" Paper_ID="/233324.html" Extracted="354067196X" DDC="005/.36" Normalized_DDC="00536" Normalized_Weight="0.3333333333333333" />
</rec>
<rec ID="/431178.html" Type="inproceedings" CiteSeer_Book="Symposium on FaultTolerant Computing" CiteSeer_Volume="" Title="Robust Emulation of Shared Memory Using Dynamic Quorum-Acknowledged Broadcasts,">
<identifier Org="ISBN:076950602X" Paper_ID="/431178.html" Extracted="076950602X" />
<identifier Org="ISBN:0769507085" Paper_ID="/431178.html" Extracted="0769507085" DDC="004" Normalized_DDC="004" Normalized_Weight="0.2" />
<identifier Org="ISBN:0769515975" Paper_ID="/431178.html" Extracted="0769515975" />
<identifier Org="ISBN:0769519520" Paper_ID="/431178.html" Extracted="0769519520" />
<identifier Org="ISBN:0818678321" Paper_ID="/431178.html" Extracted="0818678321" />
<identifier Org="ISBN:1581137087" Paper_ID="/431178.html" Extracted="1581137087" />
<identifier Org="ISBN:1581138024" Paper_ID="/431178.html" Extracted="1581138024" />
<identifier Org="ISBN:3540000739" Paper_ID="/431178.html" Extracted="3540000739" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540288457" Paper_ID="/431178.html" Extracted="3540288457" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540291636" Paper_ID="/431178.html" Extracted="3540291636" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540665315" Paper_ID="/431178.html" Extracted="3540665315" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540877789" Paper_ID="/431178.html" Extracted="3540877789" />
</rec>
<rec ID="/243085.html" Type="techreport" CiteSeer_Book="" CiteSeer_Volume="" Title="Group Communication Specifications: A Comprehensive Study,">
<identifier Org="ISBN:0387228519" Paper_ID="/243085.html" Extracted="0387228519" DDC="004.6/5" Normalized_DDC="00465" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:0387496890" Paper_ID="/243085.html" Extracted="0387496890" DDC="004.6" Normalized_DDC="0046" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:076950602X" Paper_ID="/243085.html" Extracted="076950602X" />
<identifier Org="ISBN:0769511775" Paper_ID="/243085.html" Extracted="0769511775" />
<identifier Org="ISBN:1402070438" Paper_ID="/243085.html" Extracted="1402070438" DDC="004.2" Normalized_DDC="0042" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:1581137087" Paper_ID="/243085.html" Extracted="1581137087" />
<identifier Org="ISBN:3540009124" Paper_ID="/243085.html" Extracted="3540009124" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540204946" Paper_ID="/243085.html" Extracted="3540204946" DDC="005.75/8" Normalized_DDC="005758" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:354022114X" Paper_ID="/243085.html" Extracted="354022114X" DDC="004" Normalized_DDC="004" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540236627" Paper_ID="/243085.html" Extracted="3540236627" DDC="005.75/8" Normalized_DDC="005758" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540254242" Paper_ID="/243085.html" Extracted="3540254242" DDC="004.1/1" Normalized_DDC="00411" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:354029810X" Paper_ID="/243085.html" Extracted="354029810X" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:354031198X" Paper_ID="/243085.html" Extracted="354031198X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540403760" Paper_ID="/243085.html" Extracted="3540403760" DDC="005" Normalized_DDC="005" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540735461" Paper_ID="/243085.html" Extracted="3540735461" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.08333333333333333" />
<identifier Org="ISBN:3540767770" Paper_ID="/243085.html" Extracted="3540767770" />
<identifier Org="ISBN:3540768467" Paper_ID="/243085.html" Extracted="3540768467" />
<identifier Org="ISBN:3540768890" Paper_ID="/243085.html" Extracted="3540768890" />
</rec>
<rec ID="SELF" Type="SELF" CiteSeer_Book="SELF" CiteSeer_Volume="SELF" Title="An Inheritance-Based Technique for Building Simulation Proofs Incrementally">
<identifier Org="ISBN:0387215093" Paper_ID="SELF" Extracted="0387215093" DDC="004.6" Normalized_DDC="0046" Normalized_Weight="0.2" />
<identifier Org="ISBN:076950602X" Paper_ID="SELF" Extracted="076950602X" />
<identifier Org="ISBN:3540208135" Paper_ID="SELF" Extracted="3540208135" DDC="004" Normalized_DDC="004" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540405038" Paper_ID="SELF" Extracted="3540405038" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540439285" Paper_ID="SELF" Extracted="3540439285" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.2" />
<identifier Org="ISBN:3540705910" Paper_ID="SELF" Extracted="3540705910" />
<identifier Org="ISBN:9812388281" Paper_ID="SELF" Extracted="9812388281" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.2" />
</rec>
</references_metadata>