scientific article; zbMATH DE number 3621104

MaRDI QIDQ4184296zbMATH OpenFDO

Authors Susan Owicki

Publication date 1979

zbMATH Keywords

BuffersConcurrent Program VerificationQueuesShared Abstract Data TypesWell-Structured Concurrent Programs

Mathematics Subject Classification ID

Theory of operating systems (68N25) Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(2)

• Algebraic and functional specification of an interactive serializable database interface
• Algebraic specification of concurrent systems

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