Journal of the ACM (JACM)
Journal of the ACM (JACM)
Some Completeness Results in the Mathematical Theory of Computation
Journal of the ACM (JACM)
Properties of Programs and the First-Order Predicate Calculus
Journal of the ACM (JACM)
Legality and Other Properties of Graph Models of Computations
Journal of the ACM (JACM)
Formalization of Properties of Functional Programs
Journal of the ACM (JACM)
Letters to the editor: go to statement considered harmful
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
Compact finite difference schemes for ocean models: 1. Ocean waves
Journal of Computational Physics
An axiomatic basis for computer programming
Communications of the ACM
Correspondence between ALGOL 60 and Church's Lambda-notation: part I
Communications of the ACM
On the automatic simplification of computer programs
Communications of the ACM
Communications of the ACM
Solution of a problem in concurrent programming control
Communications of the ACM
Flow diagrams, turing machines and languages with only two formation rules
Communications of the ACM
SIMULA: an ALGOL-based simulation language
Communications of the ACM
Design of a separable transition-diagram compiler
Communications of the ACM
Recursive functions of symbolic expressions and their computation by machine, Part I
Communications of the ACM
Transformations on straight line programs - (Preliminary Version)
STOC '70 Proceedings of the second annual ACM symposium on Theory of computing
Translating recursion equations into flow charts
STOC '70 Proceedings of the second annual ACM symposium on Theory of computing
Recursion induction applied to generalized flowcharts
ACM '69 Proceedings of the 1969 24th national conference
A GRAPH MODEL FOR PARALLEL COMPUTATIONS
A GRAPH MODEL FOR PARALLEL COMPUTATIONS
CONTROLLED INFORMATION SHARING IN A COMPUTER UTILITY
CONTROLLED INFORMATION SHARING IN A COMPUTER UTILITY
COORDINATION OF ASYNCHRONOUS EVENTS
COORDINATION OF ASYNCHRONOUS EVENTS
COMPUTER DESIGN FOR ASYNCHRONOUSLY REPRODUCIBLE MULTIPROCESSING
COMPUTER DESIGN FOR ASYNCHRONOUSLY REPRODUCIBLE MULTIPROCESSING
DEADLOCK-FREE SHARING OF RESOURCES IN ASYNCHRONOUS SYSTEMS
DEADLOCK-FREE SHARING OF RESOURCES IN ASYNCHRONOUS SYSTEMS
Events and conditions: introduction
Record of the Project MAC conference on concurrent systems and parallel computation
Modular, asynchronous control structures for a high performance processor
Record of the Project MAC conference on concurrent systems and parallel computation
Decompositions of control networks
Record of the Project MAC conference on concurrent systems and parallel computation
Asynchronous machines exhibiting concurrency
Record of the Project MAC conference on concurrent systems and parallel computation
Closure properties of interconnections of determinate systems
Record of the Project MAC conference on concurrent systems and parallel computation
Record of the Project MAC conference on concurrent systems and parallel computation
Record of the Project MAC conference on concurrent systems and parallel computation
On the determinacy of schemata
Record of the Project MAC conference on concurrent systems and parallel computation
Coordinated sharing of resources in asynchronous systems
Record of the Project MAC conference on concurrent systems and parallel computation
Record of the Project MAC conference on concurrent systems and parallel computation
Record of the Project MAC conference on concurrent systems and parallel computation
| Hi-index | 0.00 |