Correctness of parallel programs: The Church-Rosser approach

DOI10.1016/0304-3975(76)90032-3MaRDI QIDQ1241051zbMATH OpenOpenAlexFDO

Authors Barry K. Rosen

Publication date 1976

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(76)90032-3

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cites work

• scientific article; zbMATH DE number 3463168 (Why is no real title available?)
• scientific article; zbMATH DE number 3468256 (Why is no real title available?)
• scientific article; zbMATH DE number 3485184 (Why is no real title available?)
• scientific article; zbMATH DE number 3485194 (Why is no real title available?)
• scientific article; zbMATH DE number 3562484 (Why is no real title available?)
• scientific article; zbMATH DE number 3562542 (Why is no real title available?)
• scientific article; zbMATH DE number 3448070 (Why is no real title available?)
• scientific article; zbMATH DE number 3302923 (Why is no real title available?)
• scientific article; zbMATH DE number 3402095 (Why is no real title available?)
• scientific article; zbMATH DE number 3415379 (Why is no real title available?)
• A constructive approach to the problem of program correctness
• A global flow analysis algorithm
• Analysis of structured programs
• Finding Dominators in Directed Graphs
• Flow Graph Reducibility
• Mathematical theory of partial correctness
• On Proving Correctness of Microprograms
• On procedures as open subroutines. II
• On the capabilities of while, repeat, and exit statements
• Parallel program schemata
• Proving assertions about parallel programs
• Semantics of context-free languages
• Testing for the Church-Rosser Property
• The correctness of nondeterministic programs
• Tree-Manipulating Systems and Church-Rosser Theorems

Cited in

(7)

• Functional behavior in data spaces
• A unified approach for studying the properties of transition systems
• An axiomatic proof technique for parallel programs
• Livelocks in parallel programs
• Simulation, reduction and preservation of correctness properties of parallel systems
• Church-Rosser converters
• On reduction of asynchronous systems

Describes a project that uses

Uses Software

• ALGOL 60

This page was built for publication: Correctness of parallel programs: The Church-Rosser approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1241051)