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>

www.000webhost.com