scientific article; zbMATH DE number 3562484

zbMATH Open0361.68035MaRDI QIDQ4134929FDOQ4134929

Authors Richard J. Lipton

Publication date 1975

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Formal languages and automata (68Q45)

Cited in

(3)

• Correctness of parallel programs: The Church-Rosser approach
• Unifying Operational Weak Memory Verification: An Axiomatic Approach
• Verifying the correctness of distributed systems via mergeable parallelism

This page was built for publication:

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