Church-Rosser converters

DOI10.1007/BF01071208zbMath0452.68060MaRDI QIDQ3899522

V. M. Glushkov, Anatoly V. Anisimov

Publication date: 1979

Published in: Cybernetics (Search for Journal in Brave)

zbMATH Keywords

nondeterminismdata structureChurch-Rosser propertyDijkstra's guarded commandsnondeterministic discrete transformer

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Data structures (68P05)

Related Items (1)

Recursive information transducers: Computation models

Cites Work

• Unnamed Item
• A new approach to parallel computing
• Correctness of parallel programs: The Church-Rosser approach
• Guarded commands, nondeterminacy and formal derivation of programs
• Testing for the Church-Rosser Property
• Tree generating regular systems
• On Classes of Program Schemata
• Tree-Manipulating Systems and Church-Rosser Theorems

This page was built for publication: Church-Rosser converters