scientific article; zbMATH DE number 3628359

MaRDI QIDQ4190107zbMATH OpenFDO

Authors Wolfgang Peter Kowalk, Ruediger Valk

Publication date 1979

zbMATH Keywords

Reductions of Parallel ProgramsVerification Proofs of Parallel Programs

Mathematics Subject Classification ID

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

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