| Publication | Date of Publication | Type |
|---|
On formulating simultaneity for studying parallelism and synchronization
Proceedings of the tenth annual ACM symposium on Theory of computing - STOC '78 | 2014-03-14 | Paper |
Stabilization and pseudo-stabilization
Distributed Computing | 1994-01-06 | Paper |
Specification and analysis of a data transfer protocol using systems of communicating machines
Distributed Computing | 1991-01-01 | Paper |
Protocol analysis and synthesis by structured partitions
Computer Networks and ISDN Systems | 1986-01-01 | Paper |
Homomorphisms between models of parallel computation
Journal of Computer and System Sciences | 1982-01-01 | Paper |
On formulating simultaneity for studying parallelism and synchronization
Journal of Computer and System Sciences | 1980-01-01 | Paper |
On computing distances between leaves in a complete tree
International Journal of Computer Mathematics | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3719046 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3628369 (Why is no real title available?) | 1979-01-01 | Paper |
Optimal 2,3-Trees
SIAM Journal on Computing | 1979-01-01 | Paper |
Optimal 2,3-Trees
SIAM Journal on Computing | 1979-01-01 | Paper |
A batching method for coloring planar graphs
Information Processing Letters | 1978-01-01 | Paper |
Synchronization and computing capabilities of linear asynchronous structures
Journal of Computer and System Sciences | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3635514 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3576679 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3468279 (Why is no real title available?) | 1974-01-01 | Paper |
A Comparison of Some Theoretical Models of Parallel Computation
IEEE Transactions on Computers | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3551946 (Why is no real title available?) | 1972-01-01 | Paper |
Some Undecidability Results for Parallel Program Schemata
SIAM Journal on Computing | 1972-01-01 | Paper |
Parallel program schemata
Journal of Computer and System Sciences | 1969-01-01 | Paper |
The Organization of Computations for Uniform Recurrence Equations
Journal of the ACM | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3225716 (Why is no real title available?) | 1966-01-01 | Paper |
Properties of a Model for Parallel Computations: Determinacy, Termination, Queueing
SIAM Journal on Applied Mathematics | 1966-01-01 | Paper |
Index Register Allocation
Journal of the ACM | 1966-01-01 | Paper |
A FORTRAN Extension to Facilitate Proposal Preparation
IEEE Transactions on Electronic Computers | 1964-01-01 | Paper |
| scientific article; zbMATH DE number 3187206 (Why is no real title available?) | 1962-01-01 | Paper |
