论文列表及评分结果
A Petri Nets Semantics for Data Flow Networks.
电商所评分：1
A Modal Logic for Message Passing Processes.
电商所评分：5
The Extendes Equivalence Problem for a Class of Non-Real-Time Deterministic Pushdowen Automata.
电商所评分：3
A Simple, Fast, and Effective LL(1) Error Repair Algorithm.
电商所评分：8
On-Line Multiversion Database Concurrency Control.
电商所评分：10
Context-Free Hypergraph Grammars have the Same Term-Generating Power as Attribute Grammars.
电商所评分：5
Observational Implementation of Algebraic Specifications.
电商所评分：4
Concurrent Bisimulations in Petri Nets.
电商所评分：4
MRE Hierarchical Decomposition of General Queueing Network Models.
电商所评分：10
Sorting Multisets Stably in Minimum Space.
电商所评分：8
On Communication-Bounded Synchronized Alternating Finite Automata.
电商所评分：8
A Recursive Second Order Initial Algebra Specification of Primitive Recursion.
电商所评分：7
Context-Free Graph Languages of Bounded Degree are Generated by Apex Graph Grammars.
电商所评分：8
Deterministic Asynchronous Automata for Infinite Traces.
电商所评分：9
On Parallel Integer Sorting.
电商所评分：1
Receptive Process Theory.
电商所评分：9
Multi-Relations in Z.
电商所评分：10
A Run-Time Load Balancing Strategy for Highly Parallel Systems.
电商所评分：5
Every Binary Pattern of Length Six is Avoidable on the Two-Letter Alphabet.
电商所评分：3
Frameworks for Abstract Interpretation.
电商所评分：8
Performance and Reliability Improvement by Using Asynchronous Algorithms in Disk Buffer Cache Memory.
电商所评分：2
Contextual Rewriting as a Sound and Complete Proof Method for Conditional LOG-Specifications.
电商所评分：7
From ATP to Timed Graphs and Hybrid Systems.
电商所评分：7
Alan J. Perlis 1922-1990.
电商所评分：4
The Calculus of Context Relations.
电商所评分：10
The Expressive Power of Delay Operators in SCCS.
电商所评分：7
Minimum-Delay Schedules in Layered Networks.
电商所评分：4
The Virtual Feedback Problem in Hierarchical Representations of Combinational Circuits.
电商所评分：7
Decision Problems for Finite Special String-Rewriting Systems that are Confluent on Some Congruence Class.
电商所评分：5
Specification and Verification of Object-Oriented Programs Using Supertype Abstraction.
电商所评分：1