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

Graph

<?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>

www.000webhost.com