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