scientific article; zbMATH DE number 3614151

zbMATH Open0395.68019MaRDI QIDQ4178465FDOQ4178465

Authors: Tony Hoare 

Publication date: 1978

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

zbMATH Keywords

Program CorrectnessData RepresentationsFunctions with Side-Effects

Mathematics Subject Classification ID

Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (3)

• Compile time preparations for run time scheduling in monitors
• Quantifiability: a concurrent correctness condition modeled in vector space
• Monitors with associated processors

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