## 17th Annual Symposium on Foundations of Computer Science, October 25-27, 1976, Houston, Texas |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

The Mutual Exclusion Problem for Unreliable Processes | 1 |

Characterization of the Synchronization Languages for PV Systems | 9 |

Concurrency Control for Database Systems | 19 |

24 other sections not shown

### Common terms and phrases

accepted algebraic algorithm alternating TM assignment assume attributes automata axiom binary relation Boolean bounded complete Computer Science concurrency control configuration consider construction context-free context-free language Corollary dags defined definition denote deterministic domain edges elements equations equivalent example exists EXPTIME Figure finite finite automata flow charts Floyd-Hoare logic formula forward tidy function given grammar graph hierarchy induction infinite initial input integer interpolation search interpretation intersection K-system label language Lemma linear logic morphism multitape natural numbers node nondeterministic nondeterministic Turing machine NP-complete NP-hard operations oracle ordered theory parallel parse polynomial polynomial hierarchy prefix probes problem Proof prove PSPACE PTIME pushdown rational theory recursive reduced request result satisfying scheme semantics sequence simulated solution space step string subset symbol tape terminal Theorem tion TM's total order tree trie Turing machine variables vertex vertices write