scientific article; zbMATH DE number 3924128

MaRDI QIDQ3698299zbMATH OpenFDO

Authors Władysław Kaczorowski

Publication date 1985

zbMATH Keywords

data structuressemanticssemaphore operationsPL/Isynchronization of concurrent processes

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25)

Recommendations

• Extended semaphore operations
• scientific article; zbMATH DE number 4078775
• Proving properties of real-time semaphores
• An operational semantics of occam
• Implementations of the CSP Notation for Concurrent Systems

Cited in

(2)

• Extended semaphore operations
• Implementing Language Support in High-Level Languages

Describes a project that uses

Uses Software

• PL/I

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