Synchronization abstraction in the BETA programming language

DOI10.1016/S0096-0551(00)00004-7MaRDI QIDQ4503748zbMATH OpenOpenAlexWikidataFDO

Authors Kasper Østerbye, Wolfgang Kreutzer

Publication date 14 September 2000

Published in Computer Languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0096-0551(00)00004-7

zbMATH Keywords

BETAsynchronization of processes

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Occam—A programming language for multiprocessor systems
• Concurrency in programming languages: A survey
• scientific article; zbMATH DE number 1951132
• scientific article; zbMATH DE number 1992424
• Implement of synchronization of concurrent objects

Cited in

(1)

• scientific article; zbMATH DE number 1693484 (Why is no real title available?)

Describes a project that uses

Uses Software

• BETA
• BetaSim

This page was built for publication: Synchronization abstraction in the BETA programming language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4503748)