Automatically assigned DDC number: 005131

Manually assigned DDC number: 005131

Number of references: 35

Title: A ProCoS II Project Final Report: ESPRIT Basic Research project 7071

Author:

Author:

Author:

Author:

Subject: Jonathan Bowen,C. A. R. Hoare,Hans Langmaack,Anders P. Ravn A ProCoS II Project Final Report: ESPRIT Basic Research project 7071

Description: An overview of the research and associated activities of the European collaborative ESPRIT Basic Research ProCoS II project (no. 7071) on "Provably Correct Systems" which ran from 1992 to 1995 is presented. This was a follow-on project to ProCoS (no. 3104) and ran in parallel with the ProCoS-WG Working Group (no. 8694), all previously announced in the Bulletin of the EATCS [3, 17, 18]. A comprehensive bibliography of publications with selected project documents is included for those wishing to study the results of the project in greater depth.

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1998-12-27

Pubyear: 1996

Format: ps

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

Source: ftp://ftp.cs.reading.ac.uk/pub/formal/jpb/procos2.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:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="/17086.html"   Type="inproceedings"   CiteSeer_Book="Supplementary   Proc   7th   International   Workshop   on   Higher   Order   Logic   Theorem   Proving   and   its   Applications"   CiteSeer_Volume=""   Title="Formal   Transformational   Reasoning   about   Reactive   Systems   in   the   Theorem   Prover   {LAMBDA},">

            <identifier   Org="ISBN:008044198X"   Paper_ID="/17086.html"   Extracted="008044198X"   DDC="306.42"   Normalized_DDC="30642"   Normalized_Weight="1.0"   />

      </rec>

      <rec   ID="/457604.html"   Type="inproceedings"   CiteSeer_Book="Proc   Int   Conf   FME   96   Industrial   benefit   and   Advances   in   Formal   Methods"   CiteSeer_Volume=""   Title="{A   Strategic   Approach   To   Transformational   Design},">

            <identifier   Org="ISBN:0897918002"   Paper_ID="/457604.html"   Extracted="0897918002"   DDC="004.36"   Normalized_DDC="00436"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:3540609733"   Paper_ID="/457604.html"   Extracted="3540609733"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.5"   />

      </rec>

      <rec   ID="/459247.html"   Type="inproceedings"   CiteSeer_Book="Tools   and   Algorithms   for   the   Construction   and   Analysis   of   Systems   TACAS95"   CiteSeer_Volume=""   Title="On   Automatic   and   Interactive   Design   of   Communicating   Systems,">

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

            <identifier   Org="ISBN:3540609733"   Paper_ID="/459247.html"   Extracted="3540609733"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.5"   />

      </rec>

      <rec   ID="/77252.html"   Type="inproceedings"   CiteSeer_Book="Proc   1993   Software   Engineering   Standards   Symposium   SESS93   Brighton   UK"   CiteSeer_Volume=""   Title="Formal   Methods   in   Safety-Critical   Standards,">

            <identifier   Org="ISBN:0133669491"   Paper_ID="/77252.html"   Extracted="0133669491"   DDC="620/.0042/015113"   Normalized_DDC="6200042015113"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:0818681063"   Paper_ID="/77252.html"   Extracted="0818681063"   />

            <identifier   Org="ISBN:1852336404"   Paper_ID="/77252.html"   Extracted="1852336404"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.14285714285714285"   />

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

            <identifier   Org="ISBN:3540427872"   Paper_ID="/77252.html"   Extracted="3540427872"   DDC="004/.358"   Normalized_DDC="004358"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540585559"   Paper_ID="/77252.html"   Extracted="3540585559"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.14285714285714285"   />

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

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

            <identifier   Org="ISBN:8173194904"   Paper_ID="/77252.html"   Extracted="8173194904"   />

      </rec>

      <rec   ID="/26893.html"   Type="article"   CiteSeer_Book="Journal   of   Software   Maintenance   Research   and   Practice"   CiteSeer_Volume="5"   Title="{F}rom   {P}rograms   to   {O}bject   {C}ode   and   back   again   using   {L}ogic   {P}rogramming:   {C}ompilation   and   {D}ecompilation,"   />

      <rec   ID="/586175.html"   Type="book"   CiteSeer_Book="Formal   Specification   and   Documentation   using   Z   A   Case   Study   Approach"   CiteSeer_Volume=""   Title="Formal   Specification   and   Documentation   using   {Z}:   A   Case   Study   Approach,">

            <identifier   Org="ISBN:0132422077"   Paper_ID="/586175.html"   Extracted="0132422077"   DDC="005.1/2"   Normalized_DDC="00512"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0769520995"   Paper_ID="/586175.html"   Extracted="0769520995"   />

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

            <identifier   Org="ISBN:1599040905"   Paper_ID="/586175.html"   Extracted="1599040905"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1599046601"   Paper_ID="/586175.html"   Extracted="1599046601"   DDC="658.4/038011"   Normalized_DDC="6584038011"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:185233245X"   Paper_ID="/586175.html"   Extracted="185233245X"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1852333537"   Paper_ID="/586175.html"   Extracted="1852333537"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1852339470"   Paper_ID="/586175.html"   Extracted="1852339470"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.058823529411764705"   />

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

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

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

            <identifier   Org="ISBN:3540238069"   Paper_ID="/586175.html"   Extracted="3540238069"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540255591"   Paper_ID="/586175.html"   Extracted="3540255591"   DDC="005.133"   Normalized_DDC="005133"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540407006"   Paper_ID="/586175.html"   Extracted="3540407006"   DDC="006.1"   Normalized_DDC="0061"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540419756"   Paper_ID="/586175.html"   Extracted="3540419756"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540606556"   Paper_ID="/586175.html"   Extracted="3540606556"   />

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

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

            <identifier   Org="ISBN:3540679448"   Paper_ID="/586175.html"   Extracted="3540679448"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.058823529411764705"   />

      </rec>

      <rec   ID="/525123.html"   Type="article"   CiteSeer_Book="Bulletin   of   the   European   Association   for   Theoretical   Computer   Science   EATCS"   CiteSeer_Volume="50"   Title="A   {ProCoS   {II}}   Project   Description:   {ESPRIT   Basic   Research}   Project   7071,">

            <identifier   Org="ISBN:0077090527"   Paper_ID="/525123.html"   Extracted="0077090527"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:0897918002"   Paper_ID="/525123.html"   Extracted="0897918002"   DDC="004.36"   Normalized_DDC="00436"   Normalized_Weight="0.14285714285714285"   />

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

            <identifier   Org="ISBN:3540585559"   Paper_ID="/525123.html"   Extracted="3540585559"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540601171"   Paper_ID="/525123.html"   Extracted="3540601171"   DDC="004.2/0151"   Normalized_DDC="00420151"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540609733"   Paper_ID="/525123.html"   Extracted="3540609733"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.14285714285714285"   />

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

      </rec>

      <rec   ID="/383195.html"   Type="article"   CiteSeer_Book="Bulletin   of   the   European   Association   for   Theoretical   Computer   Science   EATCS"   CiteSeer_Volume="53"   Title="A   {ProCoS-WG   Working   Group}   Description:   {ESPRIT   Basic   Research}   8694,"   />

      <rec   ID="/528651.html"   Type="inproceedings"   CiteSeer_Book="Proc   5th   Euromicro   Workshop   on   RealTime   Systems   Oulu   Finland"   CiteSeer_Volume=""   Title="Developing   Correct   Systems,">

            <identifier   Org="ISBN:0077090527"   Paper_ID="/528651.html"   Extracted="0077090527"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0120121492"   Paper_ID="/528651.html"   Extracted="0120121492"   />

            <identifier   Org="ISBN:038756778X"   Paper_ID="/528651.html"   Extracted="038756778X"   DDC="621.39/2"   Normalized_DDC="621392"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0792339207"   Paper_ID="/528651.html"   Extracted="0792339207"   DDC="005.265"   Normalized_DDC="005265"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:0818671238"   Paper_ID="/528651.html"   Extracted="0818671238"   />

            <identifier   Org="ISBN:1591400465"   Paper_ID="/528651.html"   Extracted="1591400465"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540434720"   Paper_ID="/528651.html"   Extracted="3540434720"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540584684"   Paper_ID="/528651.html"   Extracted="3540584684"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540585559"   Paper_ID="/528651.html"   Extracted="3540585559"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540592938"   Paper_ID="/528651.html"   Extracted="3540592938"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540606092"   Paper_ID="/528651.html"   Extracted="3540606092"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540609733"   Paper_ID="/528651.html"   Extracted="3540609733"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.06666666666666667"   />

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

            <identifier   Org="ISBN:3540630104"   Paper_ID="/528651.html"   Extracted="3540630104"   DDC="005.2/73"   Normalized_DDC="005273"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540653074"   Paper_ID="/528651.html"   Extracted="3540653074"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540664998"   Paper_ID="/528651.html"   Extracted="3540664998"   DDC="005.2/76"   Normalized_DDC="005276"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540666249"   Paper_ID="/528651.html"   Extracted="3540666249"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.06666666666666667"   />

      </rec>

      <rec   ID="/384867.html"   Type="inproceedings"   CiteSeer_Book="FME94   Industrial   Benefit   of   Formal   Methods"   CiteSeer_Volume=""   Title="Seven   More   Myths   of   Formal   Methods:   Dispelling   Industrial   Prejudices,">

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

            <identifier   Org="ISBN:3540236112"   Paper_ID="/384867.html"   Extracted="3540236112"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540585559"   Paper_ID="/384867.html"   Extracted="3540585559"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540609733"   Paper_ID="/384867.html"   Extracted="3540609733"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.14285714285714285"   />

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

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

            <identifier   Org="ISBN:3540651934"   Paper_ID="/384867.html"   Extracted="3540651934"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.14285714285714285"   />

      </rec>

      <rec   ID="/363326.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Provably   Correct   Systems   --   {FTRTFT'94}   Tutorial,"   />

      <rec   ID="/195417.html"   Type="inproceedings"   CiteSeer_Book="FME93   IndustrialStrength   Formal   Methods"   CiteSeer_Volume=""   Title="The   Industrial   Take-up   of   Formal   Methods   in   Safety-Critical   and   Other   Areas:   A   Perspective,">

            <identifier   Org="ISBN:0133669491"   Paper_ID="/195417.html"   Extracted="0133669491"   DDC="620/.0042/015113"   Normalized_DDC="6200042015113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0818680024"   Paper_ID="/195417.html"   Extracted="0818680024"   DDC="620/.0028"   Normalized_DDC="6200028"   Normalized_Weight="0.09090909090909091"   />

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

            <identifier   Org="ISBN:0824727215"   Paper_ID="/195417.html"   Extracted="0824727215"   />

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

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

            <identifier   Org="ISBN:354058420X"   Paper_ID="/195417.html"   Extracted="354058420X"   DDC="384/.094"   Normalized_DDC="384094"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540585559"   Paper_ID="/195417.html"   Extracted="3540585559"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.09090909090909091"   />

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

            <identifier   Org="ISBN:3540609733"   Paper_ID="/195417.html"   Extracted="3540609733"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.09090909090909091"   />

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

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

      </rec>

      <rec   ID="/382830.html"   Type="inproceedings"   CiteSeer_Book="Z   User   Workshop   Cambridge   1994"   CiteSeer_Volume=""   Title="Towards   Correct   Executable   Semantics   for   {Z},">

            <identifier   Org="ISBN:0133669491"   Paper_ID="/382830.html"   Extracted="0133669491"   DDC="620/.0042/015113"   Normalized_DDC="6200042015113"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:081868271X"   Paper_ID="/382830.html"   Extracted="081868271X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540250794"   Paper_ID="/382830.html"   Extracted="3540250794"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.16666666666666666"   />

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

            <identifier   Org="ISBN:3540664920"   Paper_ID="/382830.html"   Extracted="3540664920"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540746080"   Paper_ID="/382830.html"   Extracted="3540746080"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.16666666666666666"   />

      </rec>

      <rec   ID="/580266.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="A   {PREttier   Compiler-Compiler}:   Generating   Higher-order   Parsers   in   {C},">

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

            <identifier   Org="ISBN:0818678429"   Paper_ID="/580266.html"   Extracted="0818678429"   />

            <identifier   Org="ISBN:0818680024"   Paper_ID="/580266.html"   Extracted="0818680024"   DDC="620/.0028"   Normalized_DDC="6200028"   Normalized_Weight="0.25"   />

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

            <identifier   Org="ISBN:3540643044"   Paper_ID="/580266.html"   Extracted="3540643044"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.25"   />

      </rec>

      <rec   ID="/52998.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Automated   Code   Generator   Verification   Based   on   Algebraic   Laws,"   />

      <rec   ID="/158359.html"   Type="incollection"   CiteSeer_Book="Towards   Verified   Systems"   CiteSeer_Volume=""   Title="A   Real-time   Programming   Language,">

            <identifier   Org="ISBN:0070367310"   Paper_ID="/158359.html"   Extracted="0070367310"   DDC="629.8/95"   Normalized_DDC="629895"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0130833487"   Paper_ID="/158359.html"   Extracted="0130833487"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0201729881"   Paper_ID="/158359.html"   Extracted="0201729881"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:0387549471"   Paper_ID="/158359.html"   Extracted="0387549471"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0792391969"   Paper_ID="/158359.html"   Extracted="0792391969"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0818620366"   Paper_ID="/158359.html"   Extracted="0818620366"   DDC="005.13"   Normalized_DDC="00513"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0929306082"   Paper_ID="/158359.html"   Extracted="0929306082"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540212590"   Paper_ID="/158359.html"   Extracted="3540212590"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540550925"   Paper_ID="/158359.html"   Extracted="3540550925"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540555641"   Paper_ID="/158359.html"   Extracted="3540555641"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540578773"   Paper_ID="/158359.html"   Extracted="3540578773"   DDC="005.4/5"   Normalized_DDC="00545"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540584684"   Paper_ID="/158359.html"   Extracted="3540584684"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540651934"   Paper_ID="/158359.html"   Extracted="3540651934"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354075220X"   Paper_ID="/158359.html"   Extracted="354075220X"   DDC="004.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.0625"   />

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

      </rec>

      <rec   ID="/50229.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="A   {Duration   Calculus}   Semantics   for   Real-Time   Reactive   Systems,">

            <identifier   Org="ISBN:1586037676"   Paper_ID="/50229.html"   Extracted="1586037676"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.2"   />

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

            <identifier   Org="ISBN:3540584684"   Paper_ID="/50229.html"   Extracted="3540584684"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540613773"   Paper_ID="/50229.html"   Extracted="3540613773"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540616489"   Paper_ID="/50229.html"   Extracted="3540616489"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.2"   />

      </rec>

      <rec   ID="/221389.html"   Type="inproceedings"   CiteSeer_Book="Formal   Techniques   in   Real   Time   and   Fault   Tolerant   Systems"   CiteSeer_Volume=""   Title="Provably   Correct   Systems,">

            <identifier   Org="ISBN:0077090527"   Paper_ID="/221389.html"   Extracted="0077090527"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0792386469"   Paper_ID="/221389.html"   Extracted="0792386469"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0897914554"   Paper_ID="/221389.html"   Extracted="0897914554"   DDC="005.4"   Normalized_DDC="0054"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:3540559841"   Paper_ID="/221389.html"   Extracted="3540559841"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540578773"   Paper_ID="/221389.html"   Extracted="3540578773"   DDC="005.4/5"   Normalized_DDC="00545"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:3540584684"   Paper_ID="/221389.html"   Extracted="3540584684"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540604723"   Paper_ID="/221389.html"   Extracted="3540604723"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540609733"   Paper_ID="/221389.html"   Extracted="3540609733"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354061155X"   Paper_ID="/221389.html"   Extracted="354061155X"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540616489"   Paper_ID="/221389.html"   Extracted="3540616489"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:3540657347"   Paper_ID="/221389.html"   Extracted="3540657347"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.0625"   />

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

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

      </rec>

      <rec   ID="/277369.html"   Type="unpublished"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="The   {ProCoS}   Approach   to   the   Design   of   Real-Time   Systems:   Linking   Different   Formalisms,">

            <identifier   Org="ISBN:0818680466"   Paper_ID="/277369.html"   Extracted="0818680466"   DDC="004/.36"   Normalized_DDC="00436"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:3540411968"   Paper_ID="/277369.html"   Extracted="3540411968"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.5"   />

      </rec>

      <rec   ID="/49707.html"   Type="article"   CiteSeer_Book="Science   of   Computer   Programming"   CiteSeer_Volume="28"   Title="Probabilistic   Models   for   the   Guarded   Command   Language,">

            <identifier   Org="ISBN:0769503713"   Paper_ID="/49707.html"   Extracted="0769503713"   />

            <identifier   Org="ISBN:2735106853"   Paper_ID="/49707.html"   Extracted="2735106853"   />

            <identifier   Org="ISBN:3540222650"   Paper_ID="/49707.html"   Extracted="3540222650"   DDC="519.22"   Normalized_DDC="51922"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540255591"   Paper_ID="/49707.html"   Extracted="3540255591"   DDC="005.133"   Normalized_DDC="005133"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540258132"   Paper_ID="/49707.html"   Extracted="3540258132"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:354030553X"   Paper_ID="/49707.html"   Extracted="354030553X"   DDC="005.1/15"   Normalized_DDC="005115"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:3540440399"   Paper_ID="/49707.html"   Extracted="3540440399"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:354044274X"   Paper_ID="/49707.html"   Extracted="354044274X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540644059"   Paper_ID="/49707.html"   Extracted="3540644059"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540660100"   Paper_ID="/49707.html"   Extracted="3540660100"   />

            <identifier   Org="ISBN:3540676686"   Paper_ID="/49707.html"   Extracted="3540676686"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:354068235X"   Paper_ID="/49707.html"   Extracted="354068235X"   />

            <identifier   Org="ISBN:354071314X"   Paper_ID="/49707.html"   Extracted="354071314X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540752900"   Paper_ID="/49707.html"   Extracted="3540752900"   DDC="003/.54"   Normalized_DDC="00354"   Normalized_Weight="0.07692307692307693"   />

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

      </rec>

      <rec   ID="/52222.html"   Type="inproceedings"   CiteSeer_Book="Correct   Hardware   Design   and   Verification   Methods"   CiteSeer_Volume=""   Title="Towards   a   Provably   Correct   Hardware   Implementation   of   {Occam},">

            <identifier   Org="ISBN:0133669491"   Paper_ID="/52222.html"   Extracted="0133669491"   DDC="620/.0042/015113"   Normalized_DDC="6200042015113"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:038756778X"   Paper_ID="/52222.html"   Extracted="038756778X"   DDC="621.39/2"   Normalized_DDC="621392"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0792386469"   Paper_ID="/52222.html"   Extracted="0792386469"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0818672439"   Paper_ID="/52222.html"   Extracted="0818672439"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:0818675632"   Paper_ID="/52222.html"   Extracted="0818675632"   />

            <identifier   Org="ISBN:0951845314"   Paper_ID="/52222.html"   Extracted="0951845314"   DDC="621.395"   Normalized_DDC="621395"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:3540584684"   Paper_ID="/52222.html"   Extracted="3540584684"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540585559"   Paper_ID="/52222.html"   Extracted="3540585559"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540602941"   Paper_ID="/52222.html"   Extracted="3540602941"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.07692307692307693"   />

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

            <identifier   Org="ISBN:3540678999"   Paper_ID="/52222.html"   Extracted="3540678999"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.07692307692307693"   />

            <identifier   Org="ISBN:3540732098"   Paper_ID="/52222.html"   Extracted="3540732098"   DDC="004.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.07692307692307693"   />

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

      </rec>

      <rec   ID="/54781.html"   Type="unpublished"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Mathematical   Models   for   Computing   Science,">

            <identifier   Org="ISBN:0130191167"   Paper_ID="/54781.html"   Extracted="0130191167"   DDC="004/.362"   Normalized_DDC="004362"   Normalized_Weight="0.2"   />

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

            <identifier   Org="ISBN:3540606092"   Paper_ID="/54781.html"   Extracted="3540606092"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540609474"   Paper_ID="/54781.html"   Extracted="3540609474"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.2"   />

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

            <identifier   Org="ISBN:9051993102"   Paper_ID="/54781.html"   Extracted="9051993102"   />

      </rec>

      <rec   ID="/457593.html"   Type="inproceedings"   CiteSeer_Book="FME   96   Industrial   Benefit   and   Advances   in   Formal   Methods"   CiteSeer_Volume=""   Title="{T}he   {I}ncremental   {D}evelopment   of   {C}orrect   {S}pecifications   for   {D}istributed   {S}ystems,"   />

      <rec   ID="/219020.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Structuring   Code   Generator   Correctness   Proofs   by   Stepwise   Abstracting   the   Machine   Language's   Semantics,">

            <identifier   Org="ISBN:3540007024"   Paper_ID="/219020.html"   Extracted="3540007024"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="1.0"   />

      </rec>

      <rec   ID="/246895.html"   Type="inproceedings"   CiteSeer_Book="TAPSOFT93   Theory   and   Practice   of   Software   Development"   CiteSeer_Volume=""   Title="A   Case   Study   in   Transformational   Design   of   Concurrent   Systems,">

            <identifier   Org="ISBN:0521806089"   Paper_ID="/246895.html"   Extracted="0521806089"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.16666666666666666"   />

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

            <identifier   Org="ISBN:3540584684"   Paper_ID="/246895.html"   Extracted="3540584684"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.16666666666666666"   />

            <identifier   Org="ISBN:3540605894"   Paper_ID="/246895.html"   Extracted="3540605894"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.16666666666666666"   />

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

            <identifier   Org="ISBN:3540609733"   Paper_ID="/246895.html"   Extracted="3540609733"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.16666666666666666"   />

      </rec>

      <rec   ID="/362511.html"   Type="inproceedings"   CiteSeer_Book="Structures   in   Concurrency   Theory"   CiteSeer_Volume=""   Title="Design   of   Real-Time   Systems:   The   Interface   between   {Duration   Calculus},"   />

      <rec   ID="/250466.html"   Type="inproceedings"   CiteSeer_Book="Proc   CodesCASHE94"   CiteSeer_Volume=""   Title="Interface   Models,">

            <identifier   Org="ISBN:0120121328"   Paper_ID="/250466.html"   Extracted="0120121328"   />

            <identifier   Org="ISBN:0131411551"   Paper_ID="/250466.html"   Extracted="0131411551"   DDC="005.71"   Normalized_DDC="00571"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0309043484"   Paper_ID="/250466.html"   Extracted="0309043484"   DDC="363.73/87"   Normalized_DDC="3637387"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:038797671X"   Paper_ID="/250466.html"   Extracted="038797671X"   DDC="541.3/61"   Normalized_DDC="541361"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0521793572"   Paper_ID="/250466.html"   Extracted="0521793572"   DDC="548/.81"   Normalized_DDC="54881"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0818628219"   Paper_ID="/250466.html"   Extracted="0818628219"   DDC="620.00420285"   Normalized_DDC="62000420285"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0824707923"   Paper_ID="/250466.html"   Extracted="0824707923"   DDC="519.2"   Normalized_DDC="5192"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0863413293"   Paper_ID="/250466.html"   Extracted="0863413293"   DDC="620.82"   Normalized_DDC="62082"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:0873715047"   Paper_ID="/250466.html"   Extracted="0873715047"   DDC="619"   Normalized_DDC="619"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:1584887486"   Paper_ID="/250466.html"   Extracted="1584887486"   DDC="530.4/27"   Normalized_DDC="530427"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:1590594398"   Paper_ID="/250466.html"   Extracted="1590594398"   DDC="005.276"   Normalized_DDC="005276"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:354000145X"   Paper_ID="/250466.html"   Extracted="354000145X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540004165"   Paper_ID="/250466.html"   Extracted="3540004165"   DDC="620.1/1"   Normalized_DDC="62011"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540260692"   Paper_ID="/250466.html"   Extracted="3540260692"   />

            <identifier   Org="ISBN:3540403671"   Paper_ID="/250466.html"   Extracted="3540403671"   DDC="530.4/17/015118"   Normalized_DDC="530417015118"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540690697"   Paper_ID="/250466.html"   Extracted="3540690697"   />

            <identifier   Org="ISBN:3540708154"   Paper_ID="/250466.html"   Extracted="3540708154"   DDC="004.01/9"   Normalized_DDC="004019"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:9251039860"   Paper_ID="/250466.html"   Extracted="9251039860"   DDC="628.1/14"   Normalized_DDC="628114"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:9812708502"   Paper_ID="/250466.html"   Extracted="9812708502"   DDC="620.112015118"   Normalized_DDC="620112015118"   Normalized_Weight="0.0625"   />

      </rec>

      <rec   ID="/10716.html"   Type="inproceedings"   CiteSeer_Book="Conference   on   Current   Trends   in   Theory   and   Practice   of   Informatics"   CiteSeer_Volume=""   Title="Development   of   Safety-Critical   Real-Time   Systems,">

            <identifier   Org="ISBN:076950213X"   Paper_ID="/10716.html"   Extracted="076950213X"   />

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

            <identifier   Org="ISBN:1853123536"   Paper_ID="/10716.html"   Extracted="1853123536"   DDC="005.1/068/5"   Normalized_DDC="00510685"   Normalized_Weight="0.1"   />

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

            <identifier   Org="ISBN:3540619291"   Paper_ID="/10716.html"   Extracted="3540619291"   DDC="621.1/83"   Normalized_DDC="621183"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540651934"   Paper_ID="/10716.html"   Extracted="3540651934"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540653074"   Paper_ID="/10716.html"   Extracted="3540653074"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.1"   />

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

            <identifier   Org="ISBN:3540686215"   Paper_ID="/10716.html"   Extracted="3540686215"   />

            <identifier   Org="ISBN:354075220X"   Paper_ID="/10716.html"   Extracted="354075220X"   DDC="004.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540759115"   Paper_ID="/10716.html"   Extracted="3540759115"   />

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

            <identifier   Org="ISBN:3642021603"   Paper_ID="/10716.html"   Extracted="3642021603"   />

            <identifier   Org="ISBN:3832520783"   Paper_ID="/10716.html"   Extracted="3832520783"   DDC="629.8360285527"   Normalized_DDC="6298360285527"   Normalized_Weight="0.1"   />

      </rec>

      <rec   ID="/457063.html"   Type="inproceedings"   CiteSeer_Book="Formal   Techniques   in   RealTime   and   FaultTolerant   Systems"   CiteSeer_Volume=""   Title="{S}pecification   and   {T}ransformation   of   {R}eactive   {S}ystems   with   {T}ime   {R}estrictions   and   {C}oncurrency,"   />

      <rec   ID="/245376.html"   Type="inproceedings"   CiteSeer_Book="Semantics   of   Specification   Languages"   CiteSeer_Volume=""   Title="A   Timed   Specification   Language   for   Concurrent   Reactive   Systems,">

            <identifier   Org="ISBN:0471184063"   Paper_ID="/245376.html"   Extracted="0471184063"   DDC="658.4038"   Normalized_DDC="6584038"   Normalized_Weight="0.25"   />

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

            <identifier   Org="ISBN:3540584684"   Paper_ID="/245376.html"   Extracted="3540584684"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540616489"   Paper_ID="/245376.html"   Extracted="3540616489"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.25"   />

      </rec>

      <rec   ID="/18806.html"   Type="article"   CiteSeer_Book="Theoretical   Computer   Science"   CiteSeer_Volume="131"   Title="A   specification-oriented   semantics   for   the   refinement   of   real-time   systems,">

            <identifier   Org="ISBN:0818681063"   Paper_ID="/18806.html"   Extracted="0818681063"   />

            <identifier   Org="ISBN:081868271X"   Paper_ID="/18806.html"   Extracted="081868271X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

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

            <identifier   Org="ISBN:3540000291"   Paper_ID="/18806.html"   Extracted="3540000291"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.1"   />

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

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

            <identifier   Org="ISBN:3540584684"   Paper_ID="/18806.html"   Extracted="3540584684"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540630104"   Paper_ID="/18806.html"   Extracted="3540630104"   DDC="005.2/73"   Normalized_DDC="005273"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540645918"   Paper_ID="/18806.html"   Extracted="3540645918"   DDC="004.2/1/0151"   Normalized_DDC="004210151"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540650032"   Paper_ID="/18806.html"   Extracted="3540650032"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540732098"   Paper_ID="/18806.html"   Extracted="3540732098"   DDC="004.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.1"   />

      </rec>

      <rec   ID="/28588.html"   Type="inproceedings"   CiteSeer_Book="International   Conference   on   Concurrency   Theory"   CiteSeer_Volume=""   Title="Liveness   and   Fairness   in   Duration   Calculus,">

            <identifier   Org="ISBN:3540255591"   Paper_ID="/28588.html"   Extracted="3540255591"   DDC="005.133"   Normalized_DDC="005133"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540278826"   Paper_ID="/28588.html"   Extracted="3540278826"   DDC="004.13/1"   Normalized_DDC="004131"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540408231"   Paper_ID="/28588.html"   Extracted="3540408231"   DDC="005.2/73"   Normalized_DDC="005273"   Normalized_Weight="0.08333333333333333"   />

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

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

            <identifier   Org="ISBN:3540441654"   Paper_ID="/28588.html"   Extracted="3540441654"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540583297"   Paper_ID="/28588.html"   Extracted="3540583297"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.08333333333333333"   />

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

            <identifier   Org="ISBN:354061155X"   Paper_ID="/28588.html"   Extracted="354061155X"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540613773"   Paper_ID="/28588.html"   Extracted="3540613773"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540654933"   Paper_ID="/28588.html"   Extracted="3540654933"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.08333333333333333"   />

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

      </rec>

      <rec   ID="/170739.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="on   Real-Time   Systems,">

            <identifier   Org="ISBN:0387549471"   Paper_ID="/170739.html"   Extracted="0387549471"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0471184063"   Paper_ID="/170739.html"   Extracted="0471184063"   DDC="658.4038"   Normalized_DDC="6584038"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0471228559"   Paper_ID="/170739.html"   Extracted="0471228559"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0585295808"   Paper_ID="/170739.html"   Extracted="0585295808"   DDC="629.25/48"   Normalized_DDC="6292548"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0585352232"   Paper_ID="/170739.html"   Extracted="0585352232"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0769503063"   Paper_ID="/170739.html"   Extracted="0769503063"   DDC="004.33"   Normalized_DDC="00433"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0780338014"   Paper_ID="/170739.html"   Extracted="0780338014"   />

            <identifier   Org="ISBN:0818641304"   Paper_ID="/170739.html"   Extracted="0818641304"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0818657103"   Paper_ID="/170739.html"   Extracted="0818657103"   DDC="005.2"   Normalized_DDC="0052"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0818676264"   Paper_ID="/170739.html"   Extracted="0818676264"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0818680342"   Paper_ID="/170739.html"   Extracted="0818680342"   DDC="004.33"   Normalized_DDC="00433"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:0818680733"   Paper_ID="/170739.html"   Extracted="0818680733"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1584886781"   Paper_ID="/170739.html"   Extracted="1584886781"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:1852337281"   Paper_ID="/170739.html"   Extracted="1852337281"   DDC="004.019"   Normalized_DDC="004019"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540230688"   Paper_ID="/170739.html"   Extracted="3540230688"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540236643"   Paper_ID="/170739.html"   Extracted="3540236643"   DDC="005.758"   Normalized_DDC="005758"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540441654"   Paper_ID="/170739.html"   Extracted="3540441654"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.058823529411764705"   />

            <identifier   Org="ISBN:3540630104"   Paper_ID="/170739.html"   Extracted="3540630104"   DDC="005.2/73"   Normalized_DDC="005273"   Normalized_Weight="0.058823529411764705"   />

      </rec>

      <rec   ID="/240902.html"   Type="inproceedings"   CiteSeer_Book="TAPSOFT95   Theory   and   Practice   of   Software   Development"   CiteSeer_Volume=""   Title="An   Algebraic   Approach   to   Temporal   Logic,">

            <identifier   Org="ISBN:0521641705"   Paper_ID="/240902.html"   Extracted="0521641705"   DDC="003.3"   Normalized_DDC="0033"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:3540592938"   Paper_ID="/240902.html"   Extracted="3540592938"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.5"   />

      </rec>

      <rec   ID="/131324.html"   Type="inproceedings"   CiteSeer_Book="6th   Refinement   Workshop"   CiteSeer_Volume=""   Title="Laws   of   Parallel   Programming   with   Shared   Variables,">

            <identifier   Org="ISBN:9516503586"   Paper_ID="/131324.html"   Extracted="9516503586"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="A   ProCoS   II   Project   Final   Report:   ESPRIT   Basic   Research   project   7071">

            <identifier   Org="ISBN:0387948961"   Paper_ID="SELF"   Extracted="0387948961"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540653074"   Paper_ID="SELF"   Extracted="3540653074"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540666249"   Paper_ID="SELF"   Extracted="3540666249"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:9810223919"   Paper_ID="SELF"   Extracted="9810223919"   DDC="005.45301512"   Normalized_DDC="00545301512"   Normalized_Weight="0.25"   />

      </rec>

</references_metadata>

www.000webhost.com