scientific article; zbMATH DE number 3621104

zbMath0399.68032MaRDI QIDQ4184296

Susan Owicki

Publication date: 1979

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

QueuesBuffersConcurrent Program VerificationShared Abstract Data TypesWell-Structured Concurrent Programs

Mathematics Subject Classification ID

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

Related Items (2)

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

This page was built for publication: