Automatically assigned DDC number: 00435

Manually assigned DDC number: 00435

Number of references: 16

Title: Weak Bisimilarity between Finite-State Systems and BPA or Normed BPP is Decidable in Polynomial Time

Author:

Subject: Richard Mayr Weak Bisimilarity between Finite-State Systems and BPA or Normed BPP is Decidable in Polynomial Time

Description: We prove that weak bisimilarity is decidable in polynomial time between finite-state systems and several classes of infinite-state systems: context-free processes (BPA) and normed Basic Parallel Processes (normed BPP). To the best of our knowledge, these are the first polynomial algorithms for weak bisimilarity problems involving infinite-state systems.

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 2000-11-08

Pubyear: 2000

Format: ps

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

Source: http://www.liafa.jussieu.fr/~mayr/Bispoly.ps

Language: en

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="/708954.html"   Type="inproceedings"   CiteSeer_Book="International   Conference   on   Concurrency   Theory"   CiteSeer_Volume=""   Title="Reachability   Analysis   of   Pushdown   Automata:   Application   to   Model-Checking,">

            <identifier   Org="ISBN:1586035703"   Paper_ID="/708954.html"   Extracted="1586035703"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540000100"   Paper_ID="/708954.html"   Extracted="3540000100"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540004009"   Paper_ID="/708954.html"   Extracted="3540004009"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540206809"   Paper_ID="/708954.html"   Extracted="3540206809"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540240586"   Paper_ID="/708954.html"   Extracted="3540240586"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540242880"   Paper_ID="/708954.html"   Extracted="3540242880"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.05555555555555555"   />

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

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

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

            <identifier   Org="ISBN:3540424997"   Paper_ID="/708954.html"   Extracted="3540424997"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.05555555555555555"   />

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

            <identifier   Org="ISBN:3540434194"   Paper_ID="/708954.html"   Extracted="3540434194"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.05555555555555555"   />

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

            <identifier   Org="ISBN:3540631410"   Paper_ID="/708954.html"   Extracted="3540631410"   />

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

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

            <identifier   Org="ISBN:3540678972"   Paper_ID="/708954.html"   Extracted="3540678972"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540713891"   Paper_ID="/708954.html"   Extracted="3540713891"   DDC="005.12"   Normalized_DDC="00512"   Normalized_Weight="0.05555555555555555"   />

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

            <identifier   Org="ISBN:3540744061"   Paper_ID="/708954.html"   Extracted="3540744061"   />

      </rec>

      <rec   ID="/232268.html"   Type="inproceedings"   CiteSeer_Book="International   Conference   on   Concurrency   Theory"   CiteSeer_Volume=""   Title="Bisimulation   Equivalence   is   Decidable   for   all   Context-Free   Processes,">

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

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

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

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

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

            <identifier   Org="ISBN:3540578870"   Paper_ID="/232268.html"   Extracted="3540578870"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.058823529411764705"   />

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

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

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

            <identifier   Org="ISBN:3540620346"   Paper_ID="/232268.html"   Extracted="3540620346"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.058823529411764705"   />

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

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

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

            <identifier   Org="ISBN:3540664084"   Paper_ID="/232268.html"   Extracted="3540664084"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.058823529411764705"   />

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

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

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

      </rec>

      <rec   ID="/219258.html"   Type="article"   CiteSeer_Book="Acta   Informatica"   CiteSeer_Volume="34"   Title="Decidability   of   Model   Checking   for   Infinite-State   Concurrent   Systems,">

            <identifier   Org="ISBN:1402081405"   Paper_ID="/219258.html"   Extracted="1402081405"   DDC="004.01"   Normalized_DDC="00401"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:3540405348"   Paper_ID="/219258.html"   Extracted="3540405348"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:3540424911"   Paper_ID="/219258.html"   Extracted="3540424911"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:354044310X"   Paper_ID="/219258.html"   Extracted="354044310X"   DDC="511/.5"   Normalized_DDC="5115"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540620346"   Paper_ID="/219258.html"   Extracted="3540620346"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:3540631410"   Paper_ID="/219258.html"   Extracted="3540631410"   />

            <identifier   Org="ISBN:354063388X"   Paper_ID="/219258.html"   Extracted="354063388X"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540661328"   Paper_ID="/219258.html"   Extracted="3540661328"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.0625"   />

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

            <identifier   Org="ISBN:3540677976"   Paper_ID="/219258.html"   Extracted="3540677976"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540678972"   Paper_ID="/219258.html"   Extracted="3540678972"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.0625"   />

            <identifier   Org="ISBN:3540695060"   Paper_ID="/219258.html"   Extracted="3540695060"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.0625"   />

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

      </rec>

      <rec   ID="/222926.html"   Type="inproceedings"   CiteSeer_Book="Foundations   of   Software   Science   and   Computation   Structure"   CiteSeer_Volume=""   Title="An   Automata-Theoretic   Approach   to   Interprocedural   Data-Flow   Analysis,">

            <identifier   Org="ISBN:1402081405"   Paper_ID="/222926.html"   Extracted="1402081405"   DDC="004.01"   Normalized_DDC="00401"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1581133499"   Paper_ID="/222926.html"   Extracted="1581133499"   />

            <identifier   Org="ISBN:1581136285"   Paper_ID="/222926.html"   Extracted="1581136285"   />

            <identifier   Org="ISBN:3540240586"   Paper_ID="/222926.html"   Extracted="3540240586"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.07142857142857142"   />

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

            <identifier   Org="ISBN:3540255966"   Paper_ID="/222926.html"   Extracted="3540255966"   DDC="005.131"   Normalized_DDC="005131"   Normalized_Weight="0.07142857142857142"   />

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

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

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

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

            <identifier   Org="ISBN:3540424962"   Paper_ID="/222926.html"   Extracted="3540424962"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:354043190X"   Paper_ID="/222926.html"   Extracted="354043190X"   DDC="004.0151"   Normalized_DDC="0040151"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540657193"   Paper_ID="/222926.html"   Extracted="3540657193"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.07142857142857142"   />

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

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

            <identifier   Org="ISBN:3540787909"   Paper_ID="/222926.html"   Extracted="3540787909"   DDC="005.4/53"   Normalized_DDC="005453"   Normalized_Weight="0.07142857142857142"   />

      </rec>

      <rec   ID="/473269.html"   Type="article"   CiteSeer_Book="Theoretical   Computer   Science"   CiteSeer_Volume="158"   Title="A   polynomial   algorithm   for   deciding   bisimilarity   of   normed   context-free   processes,">

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

            <identifier   Org="ISBN:1402081405"   Paper_ID="/473269.html"   Extracted="1402081405"   DDC="004.01"   Normalized_DDC="00401"   Normalized_Weight="0.07142857142857142"   />

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

            <identifier   Org="ISBN:354022940X"   Paper_ID="/473269.html"   Extracted="354022940X"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540407537"   Paper_ID="/473269.html"   Extracted="3540407537"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.07142857142857142"   />

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

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

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

            <identifier   Org="ISBN:3540602461"   Paper_ID="/473269.html"   Extracted="3540602461"   />

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

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

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

            <identifier   Org="ISBN:3540671412"   Paper_ID="/473269.html"   Extracted="3540671412"   DDC="004.01511"   Normalized_DDC="00401511"   Normalized_Weight="0.07142857142857142"   />

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

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

      </rec>

      <rec   ID="/232468.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Actions   speak   louder   than   words:   Proving   bisimilarity   for   context-free   processes,">

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

            <identifier   Org="ISBN:081862230X"   Paper_ID="/232468.html"   Extracted="081862230X"   />

            <identifier   Org="ISBN:1402081405"   Paper_ID="/232468.html"   Extracted="1402081405"   DDC="004.01"   Normalized_DDC="00401"   Normalized_Weight="0.06666666666666667"   />

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

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

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

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

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

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

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

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

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

            <identifier   Org="ISBN:3540602461"   Paper_ID="/232468.html"   Extracted="3540602461"   />

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

            <identifier   Org="ISBN:3540620346"   Paper_ID="/232468.html"   Extracted="3540620346"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540678956"   Paper_ID="/232468.html"   Extracted="3540678956"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.06666666666666667"   />

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

            <identifier   Org="ISBN:3540792279"   Paper_ID="/232468.html"   Extracted="3540792279"   />

      </rec>

      <rec   ID="/306946.html"   Type="article"   CiteSeer_Book="Lecture   Notes   in   Computer   Science"   CiteSeer_Volume="1443"   Title="Deciding   Bisimulation-Like   Equivalences   with   Finite-State   Processes,">

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

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

            <identifier   Org="ISBN:354022940X"   Paper_ID="/306946.html"   Extracted="354022940X"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540304959"   Paper_ID="/306946.html"   Extracted="3540304959"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540414282"   Paper_ID="/306946.html"   Extracted="3540414282"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:354043366X"   Paper_ID="/306946.html"   Extracted="354043366X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540440402"   Paper_ID="/306946.html"   Extracted="3540440402"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.06666666666666667"   />

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

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

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

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

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

            <identifier   Org="ISBN:3540678239"   Paper_ID="/306946.html"   Extracted="3540678239"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540695060"   Paper_ID="/306946.html"   Extracted="3540695060"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:9812389652"   Paper_ID="/306946.html"   Extracted="9812389652"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.06666666666666667"   />

      </rec>

      <rec   ID="/309905.html"   Type="inproceedings"   CiteSeer_Book="Automata   Languages   and   Programming"   CiteSeer_Volume=""   Title="Efficient   Verification   Algorithms   for   One-Counter   Processes,">

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

            <identifier   Org="ISBN:3540414282"   Paper_ID="/309905.html"   Extracted="3540414282"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540425543"   Paper_ID="/309905.html"   Extracted="3540425543"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:354043366X"   Paper_ID="/309905.html"   Extracted="354043366X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.2"   />

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

      </rec>

      <rec   ID="/381324.html"   Type="inproceedings"   CiteSeer_Book="Asian   Computing   Science   Conference"   CiteSeer_Volume=""   Title="On   Simulation-Checking   with   Sequential   Systems,">

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

            <identifier   Org="ISBN:3540414282"   Paper_ID="/381324.html"   Extracted="3540414282"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:354043366X"   Paper_ID="/381324.html"   Extracted="354043366X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540440402"   Paper_ID="/381324.html"   Extracted="3540440402"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.25"   />

      </rec>

      <rec   ID="/514766.html"   Type="inproceedings"   CiteSeer_Book="Automata   Languages   and   Programming"   CiteSeer_Volume=""   Title="Simulation   Preorder   on   Simple   Process   Algebras,">

            <identifier   Org="ISBN:0444828303"   Paper_ID="/514766.html"   Extracted="0444828303"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.125"   />

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

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

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

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

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

            <identifier   Org="ISBN:3540671412"   Paper_ID="/514766.html"   Extracted="3540671412"   DDC="004.01511"   Normalized_DDC="00401511"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540676643"   Paper_ID="/514766.html"   Extracted="3540676643"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.125"   />

      </rec>

      <rec   ID="/37274.html"   Type="inproceedings"   CiteSeer_Book="Foundations   of   Software   Technology   and   Theoretical   Computer   Science"   CiteSeer_Volume=""   Title="Weak   Bisimulation   and   Model   Checking   for   Basic   Parallel   Processes,">

            <identifier   Org="ISBN:0444828303"   Paper_ID="/37274.html"   Extracted="0444828303"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.1111111111111111"   />

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

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

            <identifier   Org="ISBN:3540620346"   Paper_ID="/37274.html"   Extracted="3540620346"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540631410"   Paper_ID="/37274.html"   Extracted="3540631410"   />

            <identifier   Org="ISBN:354063388X"   Paper_ID="/37274.html"   Extracted="354063388X"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.1111111111111111"   />

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

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

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

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

            <identifier   Org="ISBN:3540792279"   Paper_ID="/37274.html"   Extracted="3540792279"   />

      </rec>

      <rec   ID="/219844.html"   Type="misc"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Strict   lower   bounds   for   model   checking   BPA,">

            <identifier   Org="ISBN:0444828303"   Paper_ID="/219844.html"   Extracted="0444828303"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:0521875463"   Paper_ID="/219844.html"   Extracted="0521875463"   DDC="006.330151"   Normalized_DDC="006330151"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:354043366X"   Paper_ID="/219844.html"   Extracted="354043366X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.2"   />

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

            <identifier   Org="ISBN:354066856X"   Paper_ID="/219844.html"   Extracted="354066856X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.2"   />

      </rec>

      <rec   ID="/295057.html"   Type="inproceedings"   CiteSeer_Book="Automata   Languages   and   Programming"   CiteSeer_Volume=""   Title="On   the   Complexity   of   Bisimulation   Problems   for   Basic   Parallel   Processes,">

            <identifier   Org="ISBN:0444828303"   Paper_ID="/295057.html"   Extracted="0444828303"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.16666666666666666"   />

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

            <identifier   Org="ISBN:3540404317"   Paper_ID="/295057.html"   Extracted="3540404317"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.16666666666666666"   />

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

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

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

            <identifier   Org="ISBN:3540792279"   Paper_ID="/295057.html"   Extracted="3540792279"   />

      </rec>

      <rec   ID="/293992.html"   Type="inproceedings"   CiteSeer_Book="IFIP   TCS"   CiteSeer_Volume=""   Title="On   the   Complexity   of   Bisimulation   Problems   for   Pushdown   Automata,">

            <identifier   Org="ISBN:0444828303"   Paper_ID="/293992.html"   Extracted="0444828303"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.1111111111111111"   />

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

            <identifier   Org="ISBN:354022940X"   Paper_ID="/293992.html"   Extracted="354022940X"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.1111111111111111"   />

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

            <identifier   Org="ISBN:3540440402"   Paper_ID="/293992.html"   Extracted="3540440402"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.1111111111111111"   />

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

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

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

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

      </rec>

      <rec   ID="/246820.html"   Type="article"   CiteSeer_Book="Theoretical   Computer   Science"   CiteSeer_Volume="256"   Title="Decidability   of   model   checking   with   the   temporal   logic   {EF},">

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

            <identifier   Org="ISBN:354022940X"   Paper_ID="/246820.html"   Extracted="354022940X"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.25"   />

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

            <identifier   Org="ISBN:3540697357"   Paper_ID="/246820.html"   Extracted="3540697357"   DDC="005.14"   Normalized_DDC="00514"   Normalized_Weight="0.25"   />

            <identifier   Org="ISBN:3540894381"   Paper_ID="/246820.html"   Extracted="3540894381"   />

      </rec>

      <rec   ID="/475128.html"   Type="article"   CiteSeer_Book="Lecture   Notes   in   Computer   Science"   CiteSeer_Volume="1974"   Title="Model   Checking   {CTL}   Properties   of   Pushdown   Systems,">

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

            <identifier   Org="ISBN:354022940X"   Paper_ID="/475128.html"   Extracted="354022940X"   DDC="004.35"   Normalized_DDC="00435"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540240586"   Paper_ID="/475128.html"   Extracted="3540240586"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540249982"   Paper_ID="/475128.html"   Extracted="3540249982"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540272313"   Paper_ID="/475128.html"   Extracted="3540272313"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.1"   />

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

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

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

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

            <identifier   Org="ISBN:3540744061"   Paper_ID="/475128.html"   Extracted="3540744061"   />

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

            <identifier   Org="ISBN:3540894381"   Paper_ID="/475128.html"   Extracted="3540894381"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Weak   Bisimilarity   between   Finite-State   Systems   and   BPA   or   Normed   BPP   is   Decidable   in   Polynomial   Time">

            <identifier   Org="ISBN:354000145X"   Paper_ID="SELF"   Extracted="354000145X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540440402"   Paper_ID="SELF"   Extracted="3540440402"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:9812389652"   Paper_ID="SELF"   Extracted="9812389652"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.3333333333333333"   />

      </rec>

</references_metadata>

www.000webhost.com