A structured approach for developing concurrent programs in Java

DOI10.1016/S0020-0190(99)00020-4MaRDI QIDQ1285677zbMATH OpenFDO

Authors Masaaki Mizuno

Publication date 28 April 1999

Published in Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

JavaConcurrencycoarse-grained solutionfine-grained Java programGlobal invariantJava multi-threaded programming

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Using atomic await commands to develop concurrent programs in Java
• Concurrency without toil: A systematic method for parallel program design
• scientific article; zbMATH DE number 1670511
• scientific article; zbMATH DE number 177782

Cited in

(8)

• Observations on the assured evolution of concurrent Java programs
• scientific article; zbMATH DE number 5031692 (Why is no real title available?)
• Derivation of concurrent programs by stepwise scheduling of Event-B models
• Using atomic await commands to develop concurrent programs in Java
• Light-weight synchronous Java (SJL): an approach for programming deterministic reactive systems with Java
• scientific article; zbMATH DE number 1670511 (Why is no real title available?)
• scientific article; zbMATH DE number 986405 (Why is no real title available?)
• scientific article; zbMATH DE number 1283472 (Why is no real title available?)

This page was built for publication: A structured approach for developing concurrent programs in Java

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