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