scientific article; zbMATH DE number 3562484

zbMATH Open0361.68035MaRDI QIDQ4134929FDOQ4134929

Authors: Richard J. Lipton 

Publication date: 1975

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

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

Cited In (3)

• Unifying Operational Weak Memory Verification: An Axiomatic Approach
• Correctness of parallel programs: The Church-Rosser 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)