Automatically assigned DDC number: 0051

Manually assigned DDC number: 00436

Number of references: 31

Title: Specifying Communication in Distributed Information Systems

Author:

Author:

Subject: Hans-dieter Ehrich,Carlos Caleiro Specifying Communication in Distributed Information Systems

Description: . In this paper, we present two logics that allow for specifying distributed information systems, emphasizing communication among sites. The low-level logic D 0 offers features that are easy to implement but awkward to use for specification, while the high-level logic D 1 offers convenient specification features that are not easy to implement. We show that D 1 specifications may be automatically translated to D 0 in a sound and complete way. In order to prove soundness and completeness, we define our translation as a simple map of institutions. Our result may be useful for making implementation platforms like Corba easier accessible by providing high-level planning and specification methods for communication. 1 Introduction Two logics are presented that allow for specifying distributed information systems, emphasizing communication among sites. The low-level logic D 0 offers features that are easy to implement but awkward to use for specification, while the high-level logic D 1 offers...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1998-07-27

Pubyear: 1998

Format: ps

Identifier: http://citeseer.ist.psu.edu/125813.html

Source: http://www.cs.math.ist.utl.pt/ftp/pub/CaleiroC/98-EC-dis.ps

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

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="/25557.html"   Type="article"   CiteSeer_Book="Journal   of   Logic   and   Computation"   CiteSeer_Volume="8"   Title="Model   Checking   Multiagent   Systems,">

            <identifier   Org="ISBN:0387446397"   Paper_ID="/25557.html"   Extracted="0387446397"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:1586034529"   Paper_ID="/25557.html"   Extracted="1586034529"   />

            <identifier   Org="ISBN:354000713X"   Paper_ID="/25557.html"   Extracted="354000713X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540201246"   Paper_ID="/25557.html"   Extracted="3540201246"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540221115"   Paper_ID="/25557.html"   Extracted="3540221115"   DDC="004.015113"   Normalized_DDC="004015113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540232427"   Paper_ID="/25557.html"   Extracted="3540232427"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540244220"   Paper_ID="/25557.html"   Extracted="3540244220"   DDC="629.8/0285/63"   Normalized_DDC="6298028563"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540261729"   Paper_ID="/25557.html"   Extracted="3540261729"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540433708"   Paper_ID="/25557.html"   Extracted="3540433708"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354043738X"   Paper_ID="/25557.html"   Extracted="354043738X"   DDC="005.1/0285"   Normalized_DDC="00510285"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540441573"   Paper_ID="/25557.html"   Extracted="3540441573"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540657134"   Paper_ID="/25557.html"   Extracted="3540657134"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540672826"   Paper_ID="/25557.html"   Extracted="3540672826"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540681426"   Paper_ID="/25557.html"   Extracted="3540681426"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540696180"   Paper_ID="/25557.html"   Extracted="3540696180"   />

            <identifier   Org="ISBN:3540741275"   Paper_ID="/25557.html"   Extracted="3540741275"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540766480"   Paper_ID="/25557.html"   Extracted="3540766480"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540781269"   Paper_ID="/25557.html"   Extracted="3540781269"   DDC="004.0151"   Normalized_DDC="0040151"   Normalized_Weight="0.0625"   />

      </rec>

      <rec   ID="/320021.html"   Type="inproceedings"   CiteSeer_Book="Mathematical   Foundations   of   Computer   Science"   CiteSeer_Volume=""   Title="May   I   Borrow   Your   Logic?,">

            <identifier   Org="ISBN:0198538596"   Paper_ID="/320021.html"   Extracted="0198538596"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:1402006993"   Paper_ID="/320021.html"   Extracted="1402006993"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:1402007175"   Paper_ID="/320021.html"   Extracted="1402007175"   DDC="016.512/4"   Normalized_DDC="0165124"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:1852332018"   Paper_ID="/320021.html"   Extracted="1852332018"   DDC="629.45"   Normalized_DDC="62945"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:1878289845"   Paper_ID="/320021.html"   Extracted="1878289845"   DDC="658.4038"   Normalized_DDC="6584038"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540000100"   Paper_ID="/320021.html"   Extracted="3540000100"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540205373"   Paper_ID="/320021.html"   Extracted="3540205373"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540253270"   Paper_ID="/320021.html"   Extracted="3540253270"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354043366X"   Paper_ID="/320021.html"   Extracted="354043366X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540571825"   Paper_ID="/320021.html"   Extracted="3540571825"   DDC="005/.01/51"   Normalized_DDC="0050151"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540583327"   Paper_ID="/320021.html"   Extracted="3540583327"   DDC="006.3/01/5113"   Normalized_DDC="0063015113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354059132X"   Paper_ID="/320021.html"   Extracted="354059132X"   DDC="005.7/3"   Normalized_DDC="00573"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540614400"   Paper_ID="/320021.html"   Extracted="3540614400"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540616292"   Paper_ID="/320021.html"   Extracted="3540616292"   DDC="005.7/3"   Normalized_DDC="00573"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540637729"   Paper_ID="/320021.html"   Extracted="3540637729"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540638881"   Paper_ID="/320021.html"   Extracted="3540638881"   DDC="005.1/01/512"   Normalized_DDC="005101512"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540642994"   Paper_ID="/320021.html"   Extracted="3540642994"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540672826"   Paper_ID="/320021.html"   Extracted="3540672826"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.05555555555555555"   />

      </rec>

      <rec   ID="/30609.html"   Type="inproceedings"   CiteSeer_Book="Algebraic   Methodology   and   Software   Technology"   CiteSeer_Volume=""   Title="A   Linear   Temporal   Logic   Approach   to   Objects   with   Transactions,">

            <identifier   Org="ISBN:3540638881"   Paper_ID="/30609.html"   Extracted="3540638881"   DDC="005.1/01/512"   Normalized_DDC="005101512"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:3540653058"   Paper_ID="/30609.html"   Extracted="3540653058"   DDC="005.75/7"   Normalized_DDC="005757"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:3831112495"   Paper_ID="/30609.html"   Extracted="3831112495"   />

      </rec>

      <rec   ID="/507076.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Temporal   specification   of   information   systems,">

            <identifier   Org="ISBN:0198537816"   Paper_ID="/507076.html"   Extracted="0198537816"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:047195067X"   Paper_ID="/507076.html"   Extracted="047195067X"   DDC="005.7/3"   Normalized_DDC="00573"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:0792381297"   Paper_ID="/507076.html"   Extracted="0792381297"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540636145"   Paper_ID="/507076.html"   Extracted="3540636145"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540637729"   Paper_ID="/507076.html"   Extracted="3540637729"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540651896"   Paper_ID="/507076.html"   Extracted="3540651896"   DDC="005.74/011/1"   Normalized_DDC="005740111"   Normalized_Weight="0.16666666666666666"   />

      </rec>

      <rec   ID="/27852.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Object   Specification,">

            <identifier   Org="ISBN:0321313798"   Paper_ID="/27852.html"   Extracted="0321313798"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0387261494"   Paper_ID="/27852.html"   Extracted="0387261494"   DDC="621.3815"   Normalized_DDC="6213815"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0412797704"   Paper_ID="/27852.html"   Extracted="0412797704"   DDC="005.117"   Normalized_DDC="005117"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0852967616"   Paper_ID="/27852.html"   Extracted="0852967616"   DDC="621.382/2"   Normalized_DDC="6213822"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0961533625"   Paper_ID="/27852.html"   Extracted="0961533625"   DDC="652.5"   Normalized_DDC="6525"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:1558606475"   Paper_ID="/27852.html"   Extracted="1558606475"   DDC="005.75/7/0218"   Normalized_DDC="0057570218"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540199772"   Paper_ID="/27852.html"   Extracted="3540199772"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540439412"   Paper_ID="/27852.html"   Extracted="3540439412"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540539816"   Paper_ID="/27852.html"   Extracted="3540539816"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540563792"   Paper_ID="/27852.html"   Extracted="3540563792"   />

            <identifier   Org="ISBN:3540578021"   Paper_ID="/27852.html"   Extracted="3540578021"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354059132X"   Paper_ID="/27852.html"   Extracted="354059132X"   DDC="005.7/3"   Normalized_DDC="00573"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540606726"   Paper_ID="/27852.html"   Extracted="3540606726"   DDC="005.75/6"   Normalized_DDC="005756"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540636145"   Paper_ID="/27852.html"   Extracted="3540636145"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540637729"   Paper_ID="/27852.html"   Extracted="3540637729"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540642994"   Paper_ID="/27852.html"   Extracted="3540642994"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540653058"   Paper_ID="/27852.html"   Extracted="3540653058"   DDC="005.75/7"   Normalized_DDC="005757"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540670270"   Paper_ID="/27852.html"   Extracted="3540670270"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540717021"   Paper_ID="/27852.html"   Extracted="3540717021"   />

            <identifier   Org="ISBN:9810221703"   Paper_ID="/27852.html"   Extracted="9810221703"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.05555555555555555"   />

      </rec>

      <rec   ID="/55082.html"   Type="incollection"   CiteSeer_Book="Recent   Trends   in   Data   Type   Specification"   CiteSeer_Volume=""   Title="Local   specification   of   distributed   families   of   sequential   objects,">

            <identifier   Org="ISBN:0198537816"   Paper_ID="/55082.html"   Extracted="0198537816"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:047195067X"   Paper_ID="/55082.html"   Extracted="047195067X"   DDC="005.7/3"   Normalized_DDC="00573"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0792381297"   Paper_ID="/55082.html"   Extracted="0792381297"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0792397703"   Paper_ID="/55082.html"   Extracted="0792397703"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540422153"   Paper_ID="/55082.html"   Extracted="3540422153"   DDC="005.1/028"   Normalized_DDC="0051028"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:354059132X"   Paper_ID="/55082.html"   Extracted="354059132X"   DDC="005.7/3"   Normalized_DDC="00573"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540612920"   Paper_ID="/55082.html"   Extracted="3540612920"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540616292"   Paper_ID="/55082.html"   Extracted="3540616292"   DDC="005.7/3"   Normalized_DDC="00573"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540637729"   Paper_ID="/55082.html"   Extracted="3540637729"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540638881"   Paper_ID="/55082.html"   Extracted="3540638881"   DDC="005.1/01/512"   Normalized_DDC="005101512"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540679596"   Paper_ID="/55082.html"   Extracted="3540679596"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.09090909090909091"   />

      </rec>

      <rec   ID="/36725.html"   Type="article"   CiteSeer_Book="Journal   of   Logic   Language   and   Information"   CiteSeer_Volume="1"   Title="Adding   a   Temporal   Dimension   to   a   Logic   System,">

            <identifier   Org="ISBN:0198503814"   Paper_ID="/36725.html"   Extracted="0198503814"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0198537689"   Paper_ID="/36725.html"   Extracted="0198537689"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0262220474"   Paper_ID="/36725.html"   Extracted="0262220474"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0387572872"   Paper_ID="/36725.html"   Extracted="0387572872"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0792343301"   Paper_ID="/36725.html"   Extracted="0792343301"   DDC="001/.01   s"   Normalized_DDC="00101"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0871692333"   Paper_ID="/36725.html"   Extracted="0871692333"   DDC="520/.938"   Normalized_DDC="520938"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:1402001932"   Paper_ID="/36725.html"   Extracted="1402001932"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:1402005997"   Paper_ID="/36725.html"   Extracted="1402005997"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:1402008341"   Paper_ID="/36725.html"   Extracted="1402008341"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354024087X"   Paper_ID="/36725.html"   Extracted="354024087X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540290516"   Paper_ID="/36725.html"   Extracted="3540290516"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540583327"   Paper_ID="/36725.html"   Extracted="3540583327"   DDC="006.3/01/5113"   Normalized_DDC="0063015113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540587926"   Paper_ID="/36725.html"   Extracted="3540587926"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540613137"   Paper_ID="/36725.html"   Extracted="3540613137"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540657134"   Paper_ID="/36725.html"   Extracted="3540657134"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540662464"   Paper_ID="/36725.html"   Extracted="3540662464"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354074620X"   Paper_ID="/36725.html"   Extracted="354074620X"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540794530"   Paper_ID="/36725.html"   Extracted="3540794530"   DDC="004.36"   Normalized_DDC="00436"   Normalized_Weight="0.05555555555555555"   />

      </rec>

      <rec   ID="/16783.html"   Type="article"   CiteSeer_Book="Notre   Dame   Journal   of   Formal   Logic"   CiteSeer_Volume="37"   Title="Combining   Temporal   Logic   Systems,">

            <identifier   Org="ISBN:0198503814"   Paper_ID="/16783.html"   Extracted="0198503814"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0198537689"   Paper_ID="/16783.html"   Extracted="0198537689"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0444514937"   Paper_ID="/16783.html"   Extracted="0444514937"   DDC="005.75"   Normalized_DDC="00575"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:079235687X"   Paper_ID="/16783.html"   Extracted="079235687X"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0792359771"   Paper_ID="/16783.html"   Extracted="0792359771"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0792361490"   Paper_ID="/16783.html"   Extracted="0792361490"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:1402035209"   Paper_ID="/16783.html"   Extracted="1402035209"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:140206781X"   Paper_ID="/16783.html"   Extracted="140206781X"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540202439"   Paper_ID="/16783.html"   Extracted="3540202439"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540638881"   Paper_ID="/16783.html"   Extracted="3540638881"   DDC="005.1/01/512"   Normalized_DDC="005101512"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540662464"   Paper_ID="/16783.html"   Extracted="3540662464"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540672818"   Paper_ID="/16783.html"   Extracted="3540672818"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540758666"   Paper_ID="/16783.html"   Extracted="3540758666"   />

      </rec>

      <rec   ID="/206738.html"   Type="inproceedings"   CiteSeer_Book="Logic   in   Computer   Science"   CiteSeer_Volume=""   Title="A   Partial   Approach   to   Model   Checking,">

            <identifier   Org="ISBN:0780331990"   Paper_ID="/206738.html"   Extracted="0780331990"   />

            <identifier   Org="ISBN:081862230X"   Paper_ID="/206738.html"   Extracted="081862230X"   />

            <identifier   Org="ISBN:0818676140"   Paper_ID="/206738.html"   Extracted="0818676140"   DDC="004.21"   Normalized_DDC="00421"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0821805797"   Paper_ID="/206738.html"   Extracted="0821805797"   DDC="005.2/76"   Normalized_DDC="005276"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540213147"   Paper_ID="/206738.html"   Extracted="3540213147"   DDC="005.14"   Normalized_DDC="00514"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540235264"   Paper_ID="/206738.html"   Extracted="3540235264"   />

            <identifier   Org="ISBN:3540242880"   Paper_ID="/206738.html"   Extracted="3540242880"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354040709X"   Paper_ID="/206738.html"   Extracted="354040709X"   />

            <identifier   Org="ISBN:3540410309"   Paper_ID="/206738.html"   Extracted="3540410309"   DDC="005.2/76"   Normalized_DDC="005276"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540564969"   Paper_ID="/206738.html"   Extracted="3540564969"   DDC="511.3/0285"   Normalized_DDC="51130285"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540600450"   Paper_ID="/206738.html"   Extracted="3540600450"   DDC="004.2/4/015113"   Normalized_DDC="00424015113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540602496"   Paper_ID="/206738.html"   Extracted="3540602496"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540615504"   Paper_ID="/206738.html"   Extracted="3540615504"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540620346"   Paper_ID="/206738.html"   Extracted="3540620346"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540627812"   Paper_ID="/206738.html"   Extracted="3540627812"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540633790"   Paper_ID="/206738.html"   Extracted="3540633790"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540647813"   Paper_ID="/206738.html"   Extracted="3540647813"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540661328"   Paper_ID="/206738.html"   Extracted="3540661328"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540662022"   Paper_ID="/206738.html"   Extracted="3540662022"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540677704"   Paper_ID="/206738.html"   Extracted="3540677704"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.0625"   />

      </rec>

      <rec   ID="/436698.html"   Type="article"   CiteSeer_Book="Information   Systems"   CiteSeer_Volume="22"   Title="Information   Systems   Modelling   with   {TROLL}   Formal   Methods   at   Work,">

            <identifier   Org="ISBN:0198537816"   Paper_ID="/436698.html"   Extracted="0198537816"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:0792381297"   Paper_ID="/436698.html"   Extracted="0792381297"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:1878289845"   Paper_ID="/436698.html"   Extracted="1878289845"   DDC="658.4038"   Normalized_DDC="6584038"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:1931777098"   Paper_ID="/436698.html"   Extracted="1931777098"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3486576909"   Paper_ID="/436698.html"   Extracted="3486576909"   />

            <identifier   Org="ISBN:3540418636"   Paper_ID="/436698.html"   Extracted="3540418636"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540422153"   Paper_ID="/436698.html"   Extracted="3540422153"   DDC="005.1/028"   Normalized_DDC="0051028"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540651896"   Paper_ID="/436698.html"   Extracted="3540651896"   DDC="005.74/011/1"   Normalized_DDC="005740111"   Normalized_Weight="0.14285714285714285"   />

      </rec>

      <rec   ID="/108115.html"   Type="inproceedings"   CiteSeer_Book="Symposium   on   Principles   of   Distributed   Computing"   CiteSeer_Volume=""   Title="Knowledge   and   Common   Knowledge   in   a   Distributed   Environment,">

            <identifier   Org="ISBN:0262011549"   Paper_ID="/108115.html"   Extracted="0262011549"   DDC="519.3"   Normalized_DDC="5193"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0521416744"   Paper_ID="/108115.html"   Extracted="0521416744"   DDC="121"   Normalized_DDC="121"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0521589835"   Paper_ID="/108115.html"   Extracted="0521589835"   DDC="330.015195"   Normalized_DDC="330015195"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0824722809"   Paper_ID="/108115.html"   Extracted="0824722809"   />

            <identifier   Org="ISBN:0824727126"   Paper_ID="/108115.html"   Extracted="0824727126"   />

            <identifier   Org="ISBN:1402016441"   Paper_ID="/108115.html"   Extracted="1402016441"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540429573"   Paper_ID="/108115.html"   Extracted="3540429573"   DDC="005.11"   Normalized_DDC="00511"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540503021"   Paper_ID="/108115.html"   Extracted="3540503021"   />

            <identifier   Org="ISBN:3540504036"   Paper_ID="/108115.html"   Extracted="3540504036"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540539816"   Paper_ID="/108115.html"   Extracted="3540539816"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540600434"   Paper_ID="/108115.html"   Extracted="3540600434"   DDC="005.1/01/512"   Normalized_DDC="005101512"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540668365"   Paper_ID="/108115.html"   Extracted="3540668365"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540679251"   Paper_ID="/108115.html"   Extracted="3540679251"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540877789"   Paper_ID="/108115.html"   Extracted="3540877789"   />

            <identifier   Org="ISBN:9056995243"   Paper_ID="/108115.html"   Extracted="9056995243"   />

      </rec>

      <rec   ID="/74740.html"   Type="article"   CiteSeer_Book="Journal   of   the   ACM"   CiteSeer_Volume="39"   Title="A   Little   Knowledge   Goes   a   Long   Way:   {Knowledge-Based}   Derivations   and   Correctness   Proofs   for   a   Family   of   Protocols,">

            <identifier   Org="ISBN:0262562006"   Paper_ID="/74740.html"   Extracted="0262562006"   DDC="001"   Normalized_DDC="001"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0262611023"   Paper_ID="/74740.html"   Extracted="0262611023"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0792381297"   Paper_ID="/74740.html"   Extracted="0792381297"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0824727126"   Paper_ID="/74740.html"   Extracted="0824727126"   />

            <identifier   Org="ISBN:0897914392"   Paper_ID="/74740.html"   Extracted="0897914392"   DDC="004.36"   Normalized_DDC="00436"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0897916131"   Paper_ID="/74740.html"   Extracted="0897916131"   DDC="004.36"   Normalized_DDC="00436"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0897916344"   Paper_ID="/74740.html"   Extracted="0897916344"   />

            <identifier   Org="ISBN:0897917103"   Paper_ID="/74740.html"   Extracted="0897917103"   DDC="004.36"   Normalized_DDC="00436"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:1558604170"   Paper_ID="/74740.html"   Extracted="1558604170"   />

            <identifier   Org="ISBN:3540201750"   Paper_ID="/74740.html"   Extracted="3540201750"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540252363"   Paper_ID="/74740.html"   Extracted="3540252363"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540434771"   Paper_ID="/74740.html"   Extracted="3540434771"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540606300"   Paper_ID="/74740.html"   Extracted="3540606300"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540648968"   Paper_ID="/74740.html"   Extracted="3540648968"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540896732"   Paper_ID="/74740.html"   Extracted="3540896732"   />

      </rec>

      <rec   ID="/39288.html"   Type="inproceedings"   CiteSeer_Book="GI   Jahrestagung"   CiteSeer_Volume=""   Title="Combining   {TROLL}   with   the   Object   Modeling   Technique,">

            <identifier   Org="ISBN:0792381297"   Paper_ID="/39288.html"   Extracted="0792381297"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540587861"   Paper_ID="/39288.html"   Extracted="3540587861"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540603034"   Paper_ID="/39288.html"   Extracted="3540603034"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540612920"   Paper_ID="/39288.html"   Extracted="3540612920"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540642994"   Paper_ID="/39288.html"   Extracted="3540642994"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.2"   />

      </rec>

      <rec   ID="/167300.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="An   evaluation   of   an   object   oriented   formal   method   for   specifying   information   systems,"   />

      <rec   ID="/506113.html"   Type="inproceedings"   CiteSeer_Book="Conference   on   Advanced   Information   Systems   Engineering"   CiteSeer_Volume=""   Title="Developing   an   Information   System   Using   {TROLL}:   An   Application   Field   Study,">

            <identifier   Org="ISBN:0792381297"   Paper_ID="/506113.html"   Extracted="0792381297"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540422153"   Paper_ID="/506113.html"   Extracted="3540422153"   DDC="005.1/028"   Normalized_DDC="0051028"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540612920"   Paper_ID="/506113.html"   Extracted="3540612920"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.3333333333333333"   />

      </rec>

      <rec   ID="/46480.html"   Type="incollection"   CiteSeer_Book="Theoretical   Aspects   of   Reasoning   about   Knowledge   Proceedings   of   the   Fifth   Conference   TARK   1994"   CiteSeer_Volume=""   Title="Knowledge   and   the   Ordering   of   Events   in   Distributed   Systems,">

            <identifier   Org="ISBN:0792381297"   Paper_ID="/46480.html"   Extracted="0792381297"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:1558604170"   Paper_ID="/46480.html"   Extracted="1558604170"   />

            <identifier   Org="ISBN:3540009574"   Paper_ID="/46480.html"   Extracted="3540009574"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540199829"   Paper_ID="/46480.html"   Extracted="3540199829"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540600434"   Paper_ID="/46480.html"   Extracted="3540600434"   DDC="005.1/01/512"   Normalized_DDC="005101512"   Normalized_Weight="0.25"   />

      </rec>

      <rec   ID="/52621.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Putting   Synchronous   and   Asynchronous   Object   Modules   together:   an   Event-Based   Model   for   Concurrent   Composition,"   />

      <rec   ID="/371076.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Models   and   logics   for   true   concurrency,">

            <identifier   Org="ISBN:0521602807"   Paper_ID="/371076.html"   Extracted="0521602807"   />

            <identifier   Org="ISBN:0792381297"   Paper_ID="/371076.html"   Extracted="0792381297"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540543988"   Paper_ID="/371076.html"   Extracted="3540543988"   DDC="511"   Normalized_DDC="511"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540565965"   Paper_ID="/371076.html"   Extracted="3540565965"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540569391"   Paper_ID="/371076.html"   Extracted="3540569391"   />

            <identifier   Org="ISBN:354059132X"   Paper_ID="/371076.html"   Extracted="354059132X"   DDC="005.7/3"   Normalized_DDC="00573"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540637729"   Paper_ID="/371076.html"   Extracted="3540637729"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.2"   />

      </rec>

      <rec   ID="/301639.html"   Type="article"   CiteSeer_Book="Information   and   Computation"   CiteSeer_Volume="119"   Title="A   Logical   Study   of   Distributed   Transition   Systems,">

            <identifier   Org="ISBN:0792381297"   Paper_ID="/301639.html"   Extracted="0792381297"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0792384296"   Paper_ID="/301639.html"   Extracted="0792384296"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0818663103"   Paper_ID="/301639.html"   Extracted="0818663103"   />

            <identifier   Org="ISBN:0821805797"   Paper_ID="/301639.html"   Extracted="0821805797"   DDC="005.2/76"   Normalized_DDC="005276"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:1558604170"   Paper_ID="/301639.html"   Extracted="1558604170"   />

            <identifier   Org="ISBN:3540002251"   Paper_ID="/301639.html"   Extracted="3540002251"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540199829"   Paper_ID="/301639.html"   Extracted="3540199829"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540433708"   Paper_ID="/301639.html"   Extracted="3540433708"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540565035"   Paper_ID="/301639.html"   Extracted="3540565035"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540600434"   Paper_ID="/301639.html"   Extracted="3540600434"   DDC="005.1/01/512"   Normalized_DDC="005101512"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540615504"   Paper_ID="/301639.html"   Extracted="3540615504"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540620346"   Paper_ID="/301639.html"   Extracted="3540620346"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540647813"   Paper_ID="/301639.html"   Extracted="3540647813"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540653066"   Paper_ID="/301639.html"   Extracted="3540653066"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:9810220588"   Paper_ID="/301639.html"   Extracted="9810220588"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.07692307692307693"   />

      </rec>

      <rec   ID="/11702.html"   Type="article"   CiteSeer_Book="Journal   of   Logic   and   Computation"   CiteSeer_Volume="8"   Title="Tableau   Methods   for   Formal   Verification   of   Multi-Agent   Distributed   Systems,"   />

      <rec   ID="/331335.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Branching   Time   and   Partial   Order   in   Temporal   Logics,">

            <identifier   Org="ISBN:0750679492"   Paper_ID="/331335.html"   Extracted="0750679492"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:0780336542"   Paper_ID="/331335.html"   Extracted="0780336542"   />

            <identifier   Org="ISBN:0792381297"   Paper_ID="/331335.html"   Extracted="0792381297"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:0821805797"   Paper_ID="/331335.html"   Extracted="0821805797"   DDC="005.2/76"   Normalized_DDC="005276"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540328696"   Paper_ID="/331335.html"   Extracted="3540328696"   DDC="511/.3/5"   Normalized_DDC="51135"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540609415"   Paper_ID="/331335.html"   Extracted="3540609415"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540627901"   Paper_ID="/331335.html"   Extracted="3540627901"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540674012"   Paper_ID="/331335.html"   Extracted="3540674012"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3642005950"   Paper_ID="/331335.html"   Extracted="3642005950"   />

      </rec>

      <rec   ID="/332961.html"   Type="inproceedings"   CiteSeer_Book="Logic   in   Computer   Science"   CiteSeer_Volume=""   Title="Locally   Linear   Time   Temporal   Logic,">

            <identifier   Org="ISBN:0521580579"   Paper_ID="/332961.html"   Extracted="0521580579"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0780336542"   Paper_ID="/332961.html"   Extracted="0780336542"   />

            <identifier   Org="ISBN:0792381297"   Paper_ID="/332961.html"   Extracted="0792381297"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0818679263"   Paper_ID="/332961.html"   Extracted="0818679263"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0821805797"   Paper_ID="/332961.html"   Extracted="0821805797"   DDC="005.2/76"   Normalized_DDC="005276"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540003487"   Paper_ID="/332961.html"   Extracted="3540003487"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540009574"   Paper_ID="/332961.html"   Extracted="3540009574"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540212582"   Paper_ID="/332961.html"   Extracted="3540212582"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540429573"   Paper_ID="/332961.html"   Extracted="3540429573"   DDC="005.11"   Normalized_DDC="00511"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354043190X"   Paper_ID="/332961.html"   Extracted="354043190X"   DDC="004.0151"   Normalized_DDC="0040151"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540438645"   Paper_ID="/332961.html"   Extracted="3540438645"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540638768"   Paper_ID="/332961.html"   Extracted="3540638768"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540642307"   Paper_ID="/332961.html"   Extracted="3540642307"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540648275"   Paper_ID="/332961.html"   Extracted="3540648275"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540653066"   Paper_ID="/332961.html"   Extracted="3540653066"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540665366"   Paper_ID="/332961.html"   Extracted="3540665366"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:354066856X"   Paper_ID="/332961.html"   Extracted="354066856X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540677151"   Paper_ID="/332961.html"   Extracted="3540677151"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.058823529411764705"   />

      </rec>

      <rec   ID="/136575.html"   Type="incollection"   CiteSeer_Book="Recent   Trends   in   Data   Type   Specification"   CiteSeer_Volume=""   Title="An   Institution   of   Object   Behaviour,">

            <identifier   Org="ISBN:0792381297"   Paper_ID="/136575.html"   Extracted="0792381297"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540431594"   Paper_ID="/136575.html"   Extracted="3540431594"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540566104"   Paper_ID="/136575.html"   Extracted="3540566104"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540578676"   Paper_ID="/136575.html"   Extracted="3540578676"   DDC="005.7/3"   Normalized_DDC="00573"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:354059132X"   Paper_ID="/136575.html"   Extracted="354059132X"   DDC="005.7/3"   Normalized_DDC="00573"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540642994"   Paper_ID="/136575.html"   Extracted="3540642994"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540741062"   Paper_ID="/136575.html"   Extracted="3540741062"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.14285714285714285"   />

      </rec>

      <rec   ID="/98965.html"   Type="inproceedings"   CiteSeer_Book="Int   Conf   on   Intelligent      Cooperative   Information   Systems   ICICIS93"   CiteSeer_Volume=""   Title="{Application   Modelling   in   Heterogeneous   Environments   Using   an   Object   Specification   Language},">

            <identifier   Org="ISBN:030645288X"   Paper_ID="/98965.html"   Extracted="030645288X"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0792381297"   Paper_ID="/98965.html"   Extracted="0792381297"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540578021"   Paper_ID="/98965.html"   Extracted="3540578021"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540587861"   Paper_ID="/98965.html"   Extracted="3540587861"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540603034"   Paper_ID="/98965.html"   Extracted="3540603034"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540606726"   Paper_ID="/98965.html"   Extracted="3540606726"   DDC="005.75/6"   Normalized_DDC="005756"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540612866"   Paper_ID="/98965.html"   Extracted="3540612866"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540612920"   Paper_ID="/98965.html"   Extracted="3540612920"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540637729"   Paper_ID="/98965.html"   Extracted="3540637729"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540670270"   Paper_ID="/98965.html"   Extracted="3540670270"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1"   />

      </rec>

      <rec   ID="/147678.html"   Type="article"   CiteSeer_Book="Journal   of   Logic   and   Computation"   CiteSeer_Volume="5"   Title="Object   Specification   Logic,">

            <identifier   Org="ISBN:0792379233"   Paper_ID="/147678.html"   Extracted="0792379233"   DDC="005.1/17"   Normalized_DDC="005117"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0792381297"   Paper_ID="/147678.html"   Extracted="0792381297"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540210024"   Paper_ID="/147678.html"   Extracted="3540210024"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540422722"   Paper_ID="/147678.html"   Extracted="3540422722"   DDC="005.75"   Normalized_DDC="00575"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540567771"   Paper_ID="/147678.html"   Extracted="3540567771"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540578021"   Paper_ID="/147678.html"   Extracted="3540578021"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540578676"   Paper_ID="/147678.html"   Extracted="3540578676"   DDC="005.7/3"   Normalized_DDC="00573"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540587861"   Paper_ID="/147678.html"   Extracted="3540587861"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354059132X"   Paper_ID="/147678.html"   Extracted="354059132X"   DDC="005.7/3"   Normalized_DDC="00573"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540606726"   Paper_ID="/147678.html"   Extracted="3540606726"   DDC="005.75/6"   Normalized_DDC="005756"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540616292"   Paper_ID="/147678.html"   Extracted="3540616292"   DDC="005.7/3"   Normalized_DDC="00573"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540636145"   Paper_ID="/147678.html"   Extracted="3540636145"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540638881"   Paper_ID="/147678.html"   Extracted="3540638881"   DDC="005.1/01/512"   Normalized_DDC="005101512"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540642994"   Paper_ID="/147678.html"   Extracted="3540642994"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540643028"   Paper_ID="/147678.html"   Extracted="3540643028"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540653058"   Paper_ID="/147678.html"   Extracted="3540653058"   DDC="005.75/7"   Normalized_DDC="005757"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540670270"   Paper_ID="/147678.html"   Extracted="3540670270"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354067201X"   Paper_ID="/147678.html"   Extracted="354067201X"   DDC="005.75"   Normalized_DDC="00575"   Normalized_Weight="0.05555555555555555"   />

      </rec>

      <rec   ID="/351314.html"   Type="article"   CiteSeer_Book="Studia   Logica"   CiteSeer_Volume="59"   Title="Synchronization   of   Logics,">

            <identifier   Org="ISBN:0863802524"   Paper_ID="/351314.html"   Extracted="0863802524"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:1402035209"   Paper_ID="/351314.html"   Extracted="1402035209"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:140206781X"   Paper_ID="/351314.html"   Extracted="140206781X"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540638881"   Paper_ID="/351314.html"   Extracted="3540638881"   DDC="005.1/01/512"   Normalized_DDC="005101512"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540662464"   Paper_ID="/351314.html"   Extracted="3540662464"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3764383534"   Paper_ID="/351314.html"   Extracted="3764383534"   />

      </rec>

      <rec   ID="/121430.html"   Type="inproceedings"   CiteSeer_Book="Algebraic   Methodology   and   Software   Technology"   CiteSeer_Volume=""   Title="Synchronization   of   Logics   with   Mixed   Rules:   Completeness   Preservation,">

            <identifier   Org="ISBN:0863802524"   Paper_ID="/121430.html"   Extracted="0863802524"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:140206781X"   Paper_ID="/121430.html"   Extracted="140206781X"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540638881"   Paper_ID="/121430.html"   Extracted="3540638881"   DDC="005.1/01/512"   Normalized_DDC="005101512"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540662464"   Paper_ID="/121430.html"   Extracted="3540662464"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.25"   />

      </rec>

      <rec   ID="/360645.html"   Type="article"   CiteSeer_Book="Acta   Informatica"   CiteSeer_Volume="35"   Title="Denotational   semantics   of   object   specification,">

            <identifier   Org="ISBN:1852332018"   Paper_ID="/360645.html"   Extracted="1852332018"   DDC="629.45"   Normalized_DDC="62945"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:1852333928"   Paper_ID="/360645.html"   Extracted="1852333928"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540253270"   Paper_ID="/360645.html"   Extracted="3540253270"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540431594"   Paper_ID="/360645.html"   Extracted="3540431594"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540578021"   Paper_ID="/360645.html"   Extracted="3540578021"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:354059132X"   Paper_ID="/360645.html"   Extracted="354059132X"   DDC="005.7/3"   Normalized_DDC="00573"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540741062"   Paper_ID="/360645.html"   Extracted="3540741062"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.14285714285714285"   />

      </rec>

      <rec   ID="/514334.html"   Type="article"   CiteSeer_Book="Journal   of   Logic   and   Computation"   CiteSeer_Volume="9"   Title="Fibring   of   Logics   as   a   Categorial   Construction,">

            <identifier   Org="ISBN:0792377494"   Paper_ID="/514334.html"   Extracted="0792377494"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0863802524"   Paper_ID="/514334.html"   Extracted="0863802524"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:1402035209"   Paper_ID="/514334.html"   Extracted="1402035209"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:140206781X"   Paper_ID="/514334.html"   Extracted="140206781X"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540205373"   Paper_ID="/514334.html"   Extracted="3540205373"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540253270"   Paper_ID="/514334.html"   Extracted="3540253270"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540431594"   Paper_ID="/514334.html"   Extracted="3540431594"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540433813"   Paper_ID="/514334.html"   Extracted="3540433813"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540638881"   Paper_ID="/514334.html"   Extracted="3540638881"   DDC="005.1/01/512"   Normalized_DDC="005101512"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540664629"   Paper_ID="/514334.html"   Extracted="3540664629"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540665889"   Paper_ID="/514334.html"   Extracted="3540665889"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.09090909090909091"   />

      </rec>

      <rec   ID="/192583.html"   Type="incollection"   CiteSeer_Book="Frontiers   of   Combining   Systems   2"   CiteSeer_Volume=""   Title="Categorial   Fibring   of   Logics   with   Terms   and   Binding   Operators,">

            <identifier   Org="ISBN:0863802524"   Paper_ID="/192583.html"   Extracted="0863802524"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:1402035209"   Paper_ID="/192583.html"   Extracted="1402035209"   DDC="160"   Normalized_DDC="16"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:140206781X"   Paper_ID="/192583.html"   Extracted="140206781X"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540205373"   Paper_ID="/192583.html"   Extracted="3540205373"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540431594"   Paper_ID="/192583.html"   Extracted="3540431594"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540433813"   Paper_ID="/192583.html"   Extracted="3540433813"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540662464"   Paper_ID="/192583.html"   Extracted="3540662464"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.14285714285714285"   />

      </rec>

      <rec   ID="/98223.html"   Type="article"   CiteSeer_Book="Data   Knowledge   Engineering"   CiteSeer_Volume="19"   Title="A   Temporal   Logic   Approach   to   Object   Certification,">

            <identifier   Org="ISBN:0792381297"   Paper_ID="/98223.html"   Extracted="0792381297"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540638881"   Paper_ID="/98223.html"   Extracted="3540638881"   DDC="005.1/01/512"   Normalized_DDC="005101512"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540662464"   Paper_ID="/98223.html"   Extracted="3540662464"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.3333333333333333"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Specifying   Communication   in   Distributed   Information   Systems">

            <identifier   Org="ISBN:3540219897"   Paper_ID="SELF"   Extracted="3540219897"   DDC="005.117"   Normalized_DDC="005117"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540289631"   Paper_ID="SELF"   Extracted="3540289631"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540418636"   Paper_ID="SELF"   Extracted="3540418636"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540422153"   Paper_ID="SELF"   Extracted="3540422153"   DDC="005.1/028"   Normalized_DDC="0051028"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540748342"   Paper_ID="SELF"   Extracted="3540748342"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.2"   />

      </rec>

</references_metadata>

www.000webhost.com