论文列表及评分结果
Analytic Models for the Primary Site Approach to Fault-Tolerance.
电商所评分：1
Computational Algorithms for Networks of Queues with Rejection Blocking.
电商所评分：5
Complexity of Distributed Commit Protocols.
电商所评分：9
Crypt-Equivalent Algebraic Specifications.
电商所评分：2
Incremental Evaluation for Attribute Grammars with Unrestricted Movement Between Tree Modifications.
电商所评分：3
On the Existence of Symmetric Algorithms to Find Leaders in Networks of Communicating Sequential Processes.
电商所评分：6
Recording the Use of Memory in Right-Boundary Grammars and Push-Down Automata.
电商所评分：2
Choosing a Storage Schema.
电商所评分：1
Analyse d'un algorithme de gestion simultanée Mémoire centrale - Disque de pagination.
电商所评分：1
Performance Bounds on the Splitting Algorithm for Binary Testing.
电商所评分：9
Nonterminals, Homomorphisms and Codings in Different Variations of OL-Systems. II. Nondeterministic Systems.
电商所评分：2
Eigenschaften der von linearen Automaten erkennbaren Worte.
电商所评分：1
Total lineare Realisierbarkeit endlicher Automaten.
电商所评分：8
A Functional Model for Describing and Reasoning About Time Behaviour of Computing Systems.
电商所评分：7
Non-deterministic Data Types: Models and Implementations.
电商所评分：3
Minimal Coverings for Incompletely Specified Sequential Machines.
电商所评分：10
Investigations on Hotz Groups for Arbitrary Grammars.
电商所评分：3
Erratum: Proving Properties of Pascal Programs in MIZAR 2.
电商所评分：3
Algorithms Minimizing Mean Flow Time: Schedule-Length Properties.
电商所评分：5
Specification and Proving of Command Programs.
电商所评分：8
A System which Automatically Improves Programs.
电商所评分：4
Axiomatics for Memory Allocation.
电商所评分：7
Hierarchies of Complete Problems.
电商所评分：10
Inherently Nonplanar Automata.
电商所评分：9
Transformational Methods and their Application to Complexity Problems.
电商所评分：7
Concurrency of Operations on B-Trees.
电商所评分：5
Worst-Case Analysis for Region and Partial Region Searches in Multidimensional Binary Search Trees and Balanced Quad Trees.
电商所评分：3
Eliminating Unit Productions from LR Parsers.
电商所评分：1
Axioms for Total Correctness.
电商所评分：7
A Class of Measures on Formal Languages.
电商所评分：9