Automatically assigned DDC number: 00424
Manually assigned DDC number: 00433

Number of references: 28

Title: Synchronous Programming of Reactive Systems - A Tutorial and Commented Bibliography

Author:

Subject: Nicolas Halbwachs Synchronous Programming of Reactive Systems - A Tutorial and Commented Bibliography

Description: to describe them as sets of concurrent processes. Cases (2) and (3) must be distinguished. In the later case, concurrency is nothing but a description facility; we call it logical concurrency. Generally, it has nothing to do with physical concurrency involved in case (2), and is not submitted to the same constraints. -- They are submitted to critical reliability requirements. In fact, most critical systems either are reactive, or contain reactive parts. ? This work has been partially supported by the ESPRIT-LTR project "SYRF". ?? Verimag is a joint laboratory of Universit'e Joseph Fourier (Grenoble I), CNRS and INPG ! Initialize Memory ? foreach input event do ! Compute Outputs ? ! Update Memory ? end ! Initialize Memory ? foreach period do ! Read Inputs ? ! Compute Outputs ? !

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1998-09-17

Pubyear: 1998

Format: ps

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

Source: http://arpont.imag.fr/TEMPORISE/school98/papers/halbwachs.ps.gz

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:

Rights: unrestricted

Graph

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

<references_metadata>

<rec ID="/19422.html" Type="inproceedings" CiteSeer_Book="Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science" CiteSeer_Volume="" Title="{S}ymbolic {M}odel {C}hecking: $10^{20}$ {S}tates and {B}eyond," />

<rec ID="/62412.html" Type="book" CiteSeer_Book="The Foundations of Esterel" CiteSeer_Volume="" Title="The Foundations of Esterel,">

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

<identifier Org="ISBN:0387393617" Paper_ID="/62412.html" Extracted="0387393617" DDC="004.256" Normalized_DDC="004256" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:0792373456" Paper_ID="/62412.html" Extracted="0792373456" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.058823529411764705" />

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

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

<identifier Org="ISBN:159593149X" Paper_ID="/62412.html" Extracted="159593149X" />

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

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

<identifier Org="ISBN:354020363X" Paper_ID="/62412.html" Extracted="354020363X" DDC="621.39/5" Normalized_DDC="621395" Normalized_Weight="0.058823529411764705" />

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

<identifier Org="ISBN:354025420X" Paper_ID="/62412.html" Extracted="354025420X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540292098" Paper_ID="/62412.html" Extracted="3540292098" DDC="620.00420285" Normalized_DDC="62000420285" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540403256" Paper_ID="/62412.html" Extracted="3540403256" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.058823529411764705" />

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

<identifier Org="ISBN:3540438475" Paper_ID="/62412.html" Extracted="3540438475" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.058823529411764705" />

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

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

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

</rec>

<rec ID="/296098.html" Type="article" CiteSeer_Book="Science of Computer Programming" CiteSeer_Volume="18" Title="Minimal State Graph Generation,">

<identifier Org="ISBN:0387569227" Paper_ID="/296098.html" Extracted="0387569227" DDC="511.3/0285" Normalized_DDC="51130285" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:0818631953" Paper_ID="/296098.html" Extracted="0818631953" />

<identifier Org="ISBN:0897915119" Paper_ID="/296098.html" Extracted="0897915119" />

<identifier Org="ISBN:1558604804" Paper_ID="/296098.html" Extracted="1558604804" />

<identifier Org="ISBN:3540216715" Paper_ID="/296098.html" Extracted="3540216715" DDC="004.33" Normalized_DDC="00433" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540222367" Paper_ID="/296098.html" Extracted="3540222367" DDC="511.3/5" Normalized_DDC="51135" Normalized_Weight="0.06666666666666667" />

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

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

<identifier Org="ISBN:3540437924" Paper_ID="/296098.html" Extracted="3540437924" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540442618" Paper_ID="/296098.html" Extracted="3540442618" DDC="519.2/33" Normalized_DDC="519233" Normalized_Weight="0.06666666666666667" />

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

<identifier Org="ISBN:3540584854" Paper_ID="/296098.html" Extracted="3540584854" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />

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

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

<identifier Org="ISBN:3540625038" Paper_ID="/296098.html" Extracted="3540625038" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540646086" Paper_ID="/296098.html" Extracted="3540646086" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.06666666666666667" />

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

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

<identifier Org="ISBN:3540781625" Paper_ID="/296098.html" Extracted="3540781625" />

</rec>

<rec ID="/517603.html" Type="article" CiteSeer_Book="Science of Computer Programming" CiteSeer_Volume="19" Title="The Esterel Synchronous Programming Language: Design, Semantics, Implementation,">

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

<identifier Org="ISBN:0387569227" Paper_ID="/517603.html" Extracted="0387569227" DDC="511.3/0285" Normalized_DDC="51130285" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:0769504876" Paper_ID="/517603.html" Extracted="0769504876" DDC="621.39/5" Normalized_DDC="621395" Normalized_Weight="0.058823529411764705" />

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

<identifier Org="ISBN:0849319854" Paper_ID="/517603.html" Extracted="0849319854" DDC="670.42/7" Normalized_DDC="670427" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:0849328241" Paper_ID="/517603.html" Extracted="0849328241" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:1581132654" Paper_ID="/517603.html" Extracted="1581132654" />

<identifier Org="ISBN:1841501220" Paper_ID="/517603.html" Extracted="1841501220" DDC="005.114" Normalized_DDC="005114" Normalized_Weight="0.058823529411764705" />

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

<identifier Org="ISBN:3540308814" Paper_ID="/517603.html" Extracted="3540308814" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540403256" Paper_ID="/517603.html" Extracted="3540403256" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540425411" Paper_ID="/517603.html" Extracted="3540425411" DDC="621.39/5" Normalized_DDC="621395" Normalized_Weight="0.058823529411764705" />

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

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

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

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

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

<identifier Org="ISBN:3540675302" Paper_ID="/517603.html" Extracted="3540675302" DDC="005.1/01/512" Normalized_DDC="005101512" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540712887" Paper_ID="/517603.html" Extracted="3540712887" />

</rec>

<rec ID="/131884.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Synchronous communicating reactive processes,">

<identifier Org="ISBN:3540646086" Paper_ID="/131884.html" Extracted="3540646086" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="1.0" />

</rec>

<rec ID="/306931.html" Type="inproceedings" CiteSeer_Book="Conference Record of the Twentieth Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages" CiteSeer_Volume="" Title="Communicating Reactive Processes,">

<identifier Org="ISBN:0769505740" Paper_ID="/306931.html" Extracted="0769505740" />

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

<identifier Org="ISBN:0818652926" Paper_ID="/306931.html" Extracted="0818652926" DDC="004/.01/1" Normalized_DDC="004011" Normalized_Weight="0.0625" />

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

<identifier Org="ISBN:1841501220" Paper_ID="/306931.html" Extracted="1841501220" DDC="005.114" Normalized_DDC="005114" Normalized_Weight="0.0625" />

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

<identifier Org="ISBN:3540198520" Paper_ID="/306931.html" Extracted="3540198520" DDC="005.101512" Normalized_DDC="005101512" Normalized_Weight="0.0625" />

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

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

<identifier Org="ISBN:3540213066" Paper_ID="/306931.html" Extracted="3540213066" DDC="621.39/2" Normalized_DDC="621392" Normalized_Weight="0.0625" />

<identifier Org="ISBN:3540309993" Paper_ID="/306931.html" Extracted="3540309993" DDC="004.36" Normalized_DDC="00436" Normalized_Weight="0.0625" />

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

<identifier Org="ISBN:3540581847" Paper_ID="/306931.html" Extracted="3540581847" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.0625" />

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

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

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

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

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

<identifier Org="ISBN:3642026516" Paper_ID="/306931.html" Extracted="3642026516" />

</rec>

<rec ID="/121447.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Distributing reactive systems,">

<identifier Org="ISBN:0262161885" Paper_ID="/121447.html" Extracted="0262161885" DDC="004" Normalized_DDC="004" Normalized_Weight="0.125" />

<identifier Org="ISBN:0387238395" Paper_ID="/121447.html" Extracted="0387238395" DDC="004.6" Normalized_DDC="0046" Normalized_Weight="0.125" />

<identifier Org="ISBN:0780399781" Paper_ID="/121447.html" Extracted="0780399781" />

<identifier Org="ISBN:3540006222" Paper_ID="/121447.html" Extracted="3540006222" DDC="005.8/2" Normalized_DDC="00582" Normalized_Weight="0.125" />

<identifier Org="ISBN:354044307X" Paper_ID="/121447.html" Extracted="354044307X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.125" />

<identifier Org="ISBN:354060247X" Paper_ID="/121447.html" Extracted="354060247X" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.125" />

<identifier Org="ISBN:3540646086" Paper_ID="/121447.html" Extracted="3540646086" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.125" />

<identifier Org="ISBN:3540762183" Paper_ID="/121447.html" Extracted="3540762183" DDC="629.892" Normalized_DDC="629892" Normalized_Weight="0.125" />

<identifier Org="ISBN:9810244819" Paper_ID="/121447.html" Extracted="9810244819" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.125" />

</rec>

<rec ID="/154067.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="A functional extension to Lustre,">

<identifier Org="ISBN:3540646086" Paper_ID="/154067.html" Extracted="3540646086" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="1.0" />

</rec>

<rec ID="/24360.html" Type="inproceedings" CiteSeer_Book="International Conference on Functional Programming" CiteSeer_Volume="" Title="Synchronous Kahn Networks,">

<identifier Org="ISBN:0387096604" Paper_ID="/24360.html" Extracted="0387096604" />

<identifier Org="ISBN:0780367227" Paper_ID="/24360.html" Extracted="0780367227" />

<identifier Org="ISBN:1402082967" Paper_ID="/24360.html" Extracted="1402082967" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:1581134150" Paper_ID="/24360.html" Extracted="1581134150" />

<identifier Org="ISBN:1581138601" Paper_ID="/24360.html" Extracted="1581138601" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:1595930906" Paper_ID="/24360.html" Extracted="1595930906" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:1595935428" Paper_ID="/24360.html" Extracted="1595935428" />

<identifier Org="ISBN:1841501220" Paper_ID="/24360.html" Extracted="1841501220" DDC="005.114" Normalized_DDC="005114" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540202234" Paper_ID="/24360.html" Extracted="3540202234" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540221190" Paper_ID="/24360.html" Extracted="3540221190" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540297359" Paper_ID="/24360.html" Extracted="3540297359" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540426736" Paper_ID="/24360.html" Extracted="3540426736" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:354043092X" Paper_ID="/24360.html" Extracted="354043092X" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540440496" Paper_ID="/24360.html" Extracted="3540440496" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540633987" Paper_ID="/24360.html" Extracted="3540633987" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540646086" Paper_ID="/24360.html" Extracted="3540646086" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540653848" Paper_ID="/24360.html" Extracted="3540653848" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540741291" Paper_ID="/24360.html" Extracted="3540741291" DDC="005.1/14" Normalized_DDC="005114" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540893296" Paper_ID="/24360.html" Extracted="3540893296" />

</rec>

<rec ID="/165617.html" Type="article" CiteSeer_Book="Proceedings of the IEEE" CiteSeer_Volume="79" Title="The synchronous data-flow programming language {LUSTRE},">

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

<identifier Org="ISBN:0849328241" Paper_ID="/165617.html" Extracted="0849328241" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:0849379237" Paper_ID="/165617.html" Extracted="0849379237" DDC="621.3815" Normalized_DDC="6213815" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:0863415520" Paper_ID="/165617.html" Extracted="0863415520" DDC="621.395" Normalized_DDC="621395" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:1558607021" Paper_ID="/165617.html" Extracted="1558607021" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.058823529411764705" />

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

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

<identifier Org="ISBN:3540297359" Paper_ID="/165617.html" Extracted="3540297359" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.058823529411764705" />

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

<identifier Org="ISBN:3540584269" Paper_ID="/165617.html" Extracted="3540584269" DDC="004.2" Normalized_DDC="0042" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540588671" Paper_ID="/165617.html" Extracted="3540588671" DDC="670.42/7" Normalized_DDC="670427" Normalized_Weight="0.058823529411764705" />

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

<identifier Org="ISBN:354061463X" Paper_ID="/165617.html" Extracted="354061463X" DDC="005.1/2/015113" Normalized_DDC="00512015113" Normalized_Weight="0.058823529411764705" />

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

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

<identifier Org="ISBN:3540646086" Paper_ID="/165617.html" Extracted="3540646086" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.058823529411764705" />

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

<identifier Org="ISBN:3540725202" Paper_ID="/165617.html" Extracted="3540725202" />

<identifier Org="ISBN:3642005926" Paper_ID="/165617.html" Extracted="3642005926" />

</rec>

<rec ID="/44926.html" Type="article" CiteSeer_Book="Software Engineering" CiteSeer_Volume="18" Title="Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language {LUSTRE},">

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

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

<identifier Org="ISBN:0780399757" Paper_ID="/44926.html" Extracted="0780399757" />

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

<identifier Org="ISBN:1565550986" Paper_ID="/44926.html" Extracted="1565550986" />

<identifier Org="ISBN:1581137427" Paper_ID="/44926.html" Extracted="1581137427" />

<identifier Org="ISBN:159593605X" Paper_ID="/44926.html" Extracted="159593605X" />

<identifier Org="ISBN:3540417117" Paper_ID="/44926.html" Extracted="3540417117" DDC="658.5" Normalized_DDC="6585" Normalized_Weight="0.09090909090909091" />

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

<identifier Org="ISBN:3540584269" Paper_ID="/44926.html" Extracted="3540584269" DDC="004.2" Normalized_DDC="0042" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540588671" Paper_ID="/44926.html" Extracted="3540588671" DDC="670.42/7" Normalized_DDC="670427" Normalized_Weight="0.09090909090909091" />

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

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

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

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

<identifier Org="ISBN:3540712887" Paper_ID="/44926.html" Extracted="3540712887" />

<identifier Org="ISBN:3642032397" Paper_ID="/44926.html" Extracted="3642032397" />

</rec>

<rec ID="/295559.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="the symbolic analysis of combinational loops in circuits and synchronous programs,">

<identifier Org="ISBN:0262161885" Paper_ID="/295559.html" Extracted="0262161885" DDC="004" Normalized_DDC="004" Normalized_Weight="0.125" />

<identifier Org="ISBN:0818674237" Paper_ID="/295559.html" Extracted="0818674237" />

<identifier Org="ISBN:1402073917" Paper_ID="/295559.html" Extracted="1402073917" DDC="621.3815" Normalized_DDC="6213815" Normalized_Weight="0.125" />

<identifier Org="ISBN:3540410554" Paper_ID="/295559.html" Extracted="3540410554" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.125" />

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

<identifier Org="ISBN:354044307X" Paper_ID="/295559.html" Extracted="354044307X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.125" />

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

<identifier Org="ISBN:3540610553" Paper_ID="/295559.html" Extracted="3540610553" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.125" />

<identifier Org="ISBN:3540646086" Paper_ID="/295559.html" Extracted="3540646086" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.125" />

</rec>

<rec ID="/135843.html" Type="article" CiteSeer_Book="Formal Methods in System Design An International Journal" CiteSeer_Volume="11" Title="Verification of Real-Time Systems using Linear Relation Analysis,">

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

<identifier Org="ISBN:3540227911" Paper_ID="/135843.html" Extracted="3540227911" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540285849" Paper_ID="/135843.html" Extracted="3540285849" DDC="005.1/3" Normalized_DDC="00513" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540311394" Paper_ID="/135843.html" Extracted="3540311394" DDC="005.14" Normalized_DDC="00514" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540403256" Paper_ID="/135843.html" Extracted="3540403256" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540405240" Paper_ID="/135843.html" Extracted="3540405240" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:354043075X" Paper_ID="/135843.html" Extracted="354043075X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540439307" Paper_ID="/135843.html" Extracted="3540439307" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />

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

<identifier Org="ISBN:3540439978" Paper_ID="/135843.html" Extracted="3540439978" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.058823529411764705" />

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

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

<identifier Org="ISBN:3540646086" Paper_ID="/135843.html" Extracted="3540646086" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.058823529411764705" />

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

<identifier Org="ISBN:3540676287" Paper_ID="/135843.html" Extracted="3540676287" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540733671" Paper_ID="/135843.html" Extracted="3540733671" />

<identifier Org="ISBN:3540740600" Paper_ID="/135843.html" Extracted="3540740600" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.058823529411764705" />

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

</rec>

<rec ID="/75785.html" Type="inproceedings" CiteSeer_Book="Proceedings of the Third International Symposium on Programming Language Implementation and Logic Programming" CiteSeer_Volume="" Title="Generating Efficient Code from Data-Flow Programs,">

<identifier Org="ISBN:0412639009" Paper_ID="/75785.html" Extracted="0412639009" DDC="005.14" Normalized_DDC="00514" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:0792393112" Paper_ID="/75785.html" Extracted="0792393112" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.1111111111111111" />

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

<identifier Org="ISBN:1402065841" Paper_ID="/75785.html" Extracted="1402065841" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:1581132654" Paper_ID="/75785.html" Extracted="1581132654" />

<identifier Org="ISBN:1581134584" Paper_ID="/75785.html" Extracted="1581134584" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:1581138601" Paper_ID="/75785.html" Extracted="1581138601" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:1595930906" Paper_ID="/75785.html" Extracted="1595930906" DDC="005.13/3" Normalized_DDC="005133" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:3540544445" Paper_ID="/75785.html" Extracted="3540544445" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:3540646086" Paper_ID="/75785.html" Extracted="3540646086" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.1111111111111111" />

</rec>

<rec ID="/97179.html" Type="inproceedings" CiteSeer_Book="" CiteSeer_Volume="" Title="A Multiparadigm Language for Reactive Systems,">

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

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

<identifier Org="ISBN:1581132654" Paper_ID="/97179.html" Extracted="1581132654" />

<identifier Org="ISBN:1595930914" Paper_ID="/97179.html" Extracted="1595930914" />

<identifier Org="ISBN:1595935428" Paper_ID="/97179.html" Extracted="1595935428" />

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

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

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

<identifier Org="ISBN:3540646086" Paper_ID="/97179.html" Extracted="3540646086" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.14285714285714285" />

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

</rec>

<rec ID="/2203.html" Type="inproceedings" CiteSeer_Book="Proceedings of the 7th International Conference On Computer Aided Verification" CiteSeer_Volume="" Title="Safety Property verification of {E}sterel programs and applications to telecommunications software," />

<rec ID="/306645.html" Type="inproceedings" CiteSeer_Book="Symposium on Principles of Programming Languages" CiteSeer_Volume="" Title="Automatic Verification of Parameterized Linear Networks of Processes,">

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

<identifier Org="ISBN:0792379683" Paper_ID="/306645.html" Extracted="0792379683" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540208038" Paper_ID="/306645.html" Extracted="3540208038" DDC="005.1/4" Normalized_DDC="00514" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540418652" Paper_ID="/306645.html" Extracted="3540418652" DDC="004.2/11" Normalized_DDC="004211" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540423451" Paper_ID="/306645.html" Extracted="3540423451" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540430024" Paper_ID="/306645.html" Extracted="3540430024" DDC="005" Normalized_DDC="005" Normalized_Weight="0.07142857142857142" />

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

<identifier Org="ISBN:3540439978" Paper_ID="/306645.html" Extracted="3540439978" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540440437" Paper_ID="/306645.html" Extracted="3540440437" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.07142857142857142" />

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

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

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

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

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

<identifier Org="ISBN:3642021379" Paper_ID="/306645.html" Extracted="3642021379" />

</rec>

<rec ID="/297657.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Synchronous definition of Grafcet with Signal,">

<identifier Org="ISBN:0780309111" Paper_ID="/297657.html" Extracted="0780309111" DDC="620.82" Normalized_DDC="62082" Normalized_Weight="0.3333333333333333" />

<identifier Org="ISBN:3540646086" Paper_ID="/297657.html" Extracted="3540646086" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.3333333333333333" />

<identifier Org="ISBN:981024424X" Paper_ID="/297657.html" Extracted="981024424X" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.3333333333333333" />

</rec>

<rec ID="/518209.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="The SynDEx software environment for real-time distributed systems design and implementation,">

<identifier Org="ISBN:0387324992" Paper_ID="/518209.html" Extracted="0387324992" DDC="621.3815" Normalized_DDC="6213815" Normalized_Weight="0.16666666666666666" />

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

<identifier Org="ISBN:0849328241" Paper_ID="/518209.html" Extracted="0849328241" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.16666666666666666" />

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

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

<identifier Org="ISBN:3540646086" Paper_ID="/518209.html" Extracted="3540646086" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.16666666666666666" />

</rec>

<rec ID="/310383.html" Type="inproceedings" CiteSeer_Book="International Conference on Concurrency Theory" CiteSeer_Volume="" Title="Operational and Compositional Semantics of Synchronous Automaton Compositions,">

<identifier Org="ISBN:0387569227" Paper_ID="/310383.html" Extracted="0387569227" DDC="511.3/0285" Normalized_DDC="51130285" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:0412755602" Paper_ID="/310383.html" Extracted="0412755602" DDC="006.6" Normalized_DDC="0066" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:1566764858" Paper_ID="/310383.html" Extracted="1566764858" DDC="658.5" Normalized_DDC="6585" Normalized_Weight="0.05555555555555555" />

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

<identifier Org="ISBN:3540222618" Paper_ID="/310383.html" Extracted="3540222618" DDC="511.3/5" Normalized_DDC="51135" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540410554" Paper_ID="/310383.html" Extracted="3540410554" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:3540558225" Paper_ID="/310383.html" Extracted="3540558225" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.05555555555555555" />

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

<identifier Org="ISBN:3540584854" Paper_ID="/310383.html" Extracted="3540584854" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:354060247X" Paper_ID="/310383.html" Extracted="354060247X" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.05555555555555555" />

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

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

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

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

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

<identifier Org="ISBN:3540664254" Paper_ID="/310383.html" Extracted="3540664254" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.05555555555555555" />

<identifier Org="ISBN:354067263X" Paper_ID="/310383.html" Extracted="354067263X" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.05555555555555555" />

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

</rec>

<rec ID="/372357.html" Type="article" CiteSeer_Book="Software Testing Verification Reliability" CiteSeer_Volume="5" Title="Systematic Testing: A Means for Validating Reactive Systems,">

<identifier Org="ISBN:1853124176" Paper_ID="/372357.html" Extracted="1853124176" DDC="005.1/068/5" Normalized_DDC="00510685" Normalized_Weight="0.5" />

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

</rec>

<rec ID="/312722.html" Type="article" CiteSeer_Book="Lecture Notes in Computer Science" CiteSeer_Volume="1381" Title="Mode-Automata: About Modes and States for Reactive Systems,">

<identifier Org="ISBN:0780365666" Paper_ID="/312722.html" Extracted="0780365666" />

<identifier Org="ISBN:0792379683" Paper_ID="/312722.html" Extracted="0792379683" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:1402061471" Paper_ID="/312722.html" Extracted="1402061471" DDC="004.256" Normalized_DDC="004256" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:1581132654" Paper_ID="/312722.html" Extracted="1581132654" />

<identifier Org="ISBN:1595930914" Paper_ID="/312722.html" Extracted="1595930914" />

<identifier Org="ISBN:3540251081" Paper_ID="/312722.html" Extracted="3540251081" DDC="004" Normalized_DDC="004" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:3540317805" Paper_ID="/312722.html" Extracted="3540317805" />

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

<identifier Org="ISBN:3540646086" Paper_ID="/312722.html" Extracted="3540646086" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.1111111111111111" />

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

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

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

<identifier Org="ISBN:354067263X" Paper_ID="/312722.html" Extracted="354067263X" DDC="005.4/53" Normalized_DDC="005453" Normalized_Weight="0.1111111111111111" />

</rec>

<rec ID="/249548.html" Type="inproceedings" CiteSeer_Book="Automata Languages and Programming" CiteSeer_Volume="" Title="Recognizing Regular Expressions by Means of Dataflow Networks,">

<identifier Org="ISBN:012373892X" Paper_ID="/249548.html" Extracted="012373892X" DDC="621.3815" Normalized_DDC="6213815" Normalized_Weight="0.3333333333333333" />

<identifier Org="ISBN:1402085850" Paper_ID="/249548.html" Extracted="1402085850" />

<identifier Org="ISBN:354020363X" Paper_ID="/249548.html" Extracted="354020363X" DDC="621.39/5" Normalized_DDC="621395" Normalized_Weight="0.3333333333333333" />

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

</rec>

<rec ID="/393003.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Signalgti: implementing task preemption and time intervals in the synchronous data ow language signal," />

<rec ID="/19508.html" Type="misc" CiteSeer_Book="" CiteSeer_Volume="" Title="Constructive analysis of cyclic circuits,">

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

<identifier Org="ISBN:0780340930" Paper_ID="/19508.html" Extracted="0780340930" DDC="621.382/15" Normalized_DDC="62138215" Normalized_Weight="0.058823529411764705" />

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

<identifier Org="ISBN:0818674237" Paper_ID="/19508.html" Extracted="0818674237" />

<identifier Org="ISBN:0818679492" Paper_ID="/19508.html" Extracted="0818679492" DDC="621.39/2" Normalized_DDC="621392" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:0849328241" Paper_ID="/19508.html" Extracted="0849328241" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:0849379237" Paper_ID="/19508.html" Extracted="0849379237" DDC="621.3815" Normalized_DDC="6213815" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:0849379245" Paper_ID="/19508.html" Extracted="0849379245" DDC="621.3815" Normalized_DDC="6213815" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:1402080514" Paper_ID="/19508.html" Extracted="1402080514" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:1558607021" Paper_ID="/19508.html" Extracted="1558607021" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.058823529411764705" />

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

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

<identifier Org="ISBN:354044307X" Paper_ID="/19508.html" Extracted="354044307X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

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

<identifier Org="ISBN:3540646086" Paper_ID="/19508.html" Extracted="3540646086" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:354064976X" Paper_ID="/19508.html" Extracted="354064976X" DDC="004.2/2" Normalized_DDC="00422" Normalized_Weight="0.058823529411764705" />

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

<identifier Org="ISBN:3540710655" Paper_ID="/19508.html" Extracted="3540710655" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3642002544" Paper_ID="/19508.html" Extracted="3642002544" />

</rec>

<rec ID="/42422.html" Type="techreport" CiteSeer_Book="" CiteSeer_Volume="" Title="{SIS}: {A} system for sequential circuit synthesis,">

<identifier Org="ISBN:0412726904" Paper_ID="/42422.html" Extracted="0412726904" DDC="620.00420285" Normalized_DDC="62000420285" Normalized_Weight="0.06666666666666667" />

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

<identifier Org="ISBN:0780327470" Paper_ID="/42422.html" Extracted="0780327470" DDC="621.39/5/0287" Normalized_DDC="6213950287" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:0780335848" Paper_ID="/42422.html" Extracted="0780335848" />

<identifier Org="ISBN:0780344251" Paper_ID="/42422.html" Extracted="0780344251" DDC="621.3815" Normalized_DDC="6213815" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:0780354729" Paper_ID="/42422.html" Extracted="0780354729" />

<identifier Org="ISBN:0792376064" Paper_ID="/42422.html" Extracted="0792376064" DDC="621.39/5" Normalized_DDC="621395" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:0792381327" Paper_ID="/42422.html" Extracted="0792381327" DDC="621.3815/028/7" Normalized_DDC="62138150287" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:0818670398" Paper_ID="/42422.html" Extracted="0818670398" DDC="620.0042" Normalized_DDC="6200042" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:0818677864" Paper_ID="/42422.html" Extracted="0818677864" DDC="620.0042" Normalized_DDC="6200042" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:0849386020" Paper_ID="/42422.html" Extracted="0849386020" DDC="621.39" Normalized_DDC="62139" Normalized_Weight="0.06666666666666667" />

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

<identifier Org="ISBN:3540200746" Paper_ID="/42422.html" Extracted="3540200746" DDC="621.39/5" Normalized_DDC="621395" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:354020122X" Paper_ID="/42422.html" Extracted="354020122X" DDC="004.2/2" Normalized_DDC="00422" Normalized_Weight="0.06666666666666667" />

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

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

<identifier Org="ISBN:3540692835" Paper_ID="/42422.html" Extracted="3540692835" DDC="005.18" Normalized_DDC="00518" Normalized_Weight="0.06666666666666667" />

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

</rec>

<rec ID="/129361.html" Type="inproceedings" CiteSeer_Book="ICCAD" CiteSeer_Volume="" Title="Latch optimization in circuits generated from high-level descriptions,">

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

<identifier Org="ISBN:0780340930" Paper_ID="/129361.html" Extracted="0780340930" DDC="621.382/15" Normalized_DDC="62138215" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:0780354834" Paper_ID="/129361.html" Extracted="0780354834" />

<identifier Org="ISBN:0792398920" Paper_ID="/129361.html" Extracted="0792398920" DDC="621.39/5" Normalized_DDC="621395" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:0849328241" Paper_ID="/129361.html" Extracted="0849328241" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540237380" Paper_ID="/129361.html" Extracted="3540237380" DDC="621.39/5" Normalized_DDC="621395" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540410554" Paper_ID="/129361.html" Extracted="3540410554" DDC="004/.33" Normalized_DDC="00433" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540417117" Paper_ID="/129361.html" Extracted="3540417117" DDC="658.5" Normalized_DDC="6585" Normalized_Weight="0.09090909090909091" />

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

<identifier Org="ISBN:354064976X" Paper_ID="/129361.html" Extracted="354064976X" DDC="004.2/2" Normalized_DDC="00422" Normalized_Weight="0.09090909090909091" />

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

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

</rec>

<rec ID="/111119.html" Type="inproceedings" CiteSeer_Book="FTRTFT" CiteSeer_Volume="" Title="Verification of Embedded Systems Using Synchronous Observers,">

<identifier Org="ISBN:0849379237" Paper_ID="/111119.html" Extracted="0849379237" DDC="621.3815" Normalized_DDC="6213815" Normalized_Weight="0.2" />

<identifier Org="ISBN:0965700135" Paper_ID="/111119.html" Extracted="0965700135" DDC="620/.001/51" Normalized_DDC="62000151" Normalized_Weight="0.2" />

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

<identifier Org="ISBN:3540646086" Paper_ID="/111119.html" Extracted="3540646086" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.2" />

<identifier Org="ISBN:354065643X" Paper_ID="/111119.html" Extracted="354065643X" DDC="004.1/9" Normalized_DDC="00419" Normalized_Weight="0.2" />

</rec>

<rec ID="SELF" Type="SELF" CiteSeer_Book="SELF" CiteSeer_Volume="SELF" Title="Synchronous Programming of Reactive Systems - A Tutorial and Commented Bibliography">

<identifier Org="ISBN:012369485X" Paper_ID="SELF" Extracted="012369485X" DDC="004.16" Normalized_DDC="00416" Normalized_Weight="0.2" />

<identifier Org="ISBN:0769524826" Paper_ID="SELF" Extracted="0769524826" />

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

<identifier Org="ISBN:1581134584" Paper_ID="SELF" Extracted="1581134584" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.2" />

<identifier Org="ISBN:158603524X" Paper_ID="SELF" Extracted="158603524X" DDC="621.382" Normalized_DDC="621382" Normalized_Weight="0.2" />

<identifier Org="ISBN:1595931481" Paper_ID="SELF" Extracted="1595931481" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.2" />

<identifier Org="ISBN:1595935428" Paper_ID="SELF" Extracted="1595935428" />

<identifier Org="ISBN:3540926976" Paper_ID="SELF" Extracted="3540926976" />

</rec>

</references_metadata>