scientific article; zbMATH DE number 3541921

zbMATH Open0347.68019MaRDI QIDQ4117366FDOQ4117366

Author name not available (Why is that?)

Publication date: 1976

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 (5)

• An axiomatic proof technique for parallel programs
• Verifying Concurrent Graph Algorithms
• Fine-grained concurrency with separation logic
• The lifeness property of on-the-fly garbage collector - a proof
• Programmed deallocation without dangling reference

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 Q4117366)