Constraining interference in an object-based design method

DOI10.1007/3-540-56610-4_61MaRDI QIDQ5044731zbMATH OpenOpenAlexFDO

Authors

Publication date 2 November 2022

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-56610-4_61

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• scientific article; zbMATH DE number 1231462
• scientific article; zbMATH DE number 1231464
• scientific article; zbMATH DE number 3958701
• Concurrency: handling interference formally
• On transformations of concurrent object programs

Cites work

• A layered semantics for a parallel object-oriented language
• Algebraic methods II: theory, tools and applications
• scientific article; zbMATH DE number 4092735 (Why is no real title available?)
• scientific article; zbMATH DE number 46957 (Why is no real title available?)
• scientific article; zbMATH DE number 48517 (Why is no real title available?)
• scientific article; zbMATH DE number 51769 (Why is no real title available?)
• scientific article; zbMATH DE number 517385 (Why is no real title available?)
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• Issues in the design of a parallel object-oriented language
• Laws of programming
• Reduction
• VDM '91. Formal software development methods. Vol. 1: Conference contributions. 4th international symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Proceedings

Cited in

(12)

• Partial confluence of processes and systems of objects
• On transformations of concurrent-object programs
• The name discipline of uniform receptiveness
• Formalising Java RMI with explicit code mobility
• Exclusion requirements and potential concurrency for composite objects
• scientific article; zbMATH DE number 1231462 (Why is no real title available?)
• scientific article; zbMATH DE number 1231464 (Why is no real title available?)
• scientific article; zbMATH DE number 2061067 (Why is no real title available?)
• The name discipline of uniform receptiveness (extended abstract)
• Confluence of processes and systems of objects
• On transformations of concurrent object programs
• Splitting atoms safely

Describes a project that uses

Uses Software

• ABCL
• mural
• BETA
• LARCH
• UNITY

This page was built for publication: Constraining interference in an object-based design method

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