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