scientific article; zbMATH DE number 756078

MaRDI QIDQ4698369zbMATH OpenFDO

Authors Xu Qiwen, He Jifeng

Publication date 17 May 1995

zbMATH Keywords

parallel programssequential programming

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 1949583
• A refinement calculus for shared-variable parallel and distributed programming
• A proof technique for parallel programs
• Modular verification for shared-variable concurrent programs

Cited in

(10)

• Inheriting Laws for Processes with States
• Freeze after writing, quasi-deterministic parallel programming with LVars
• A method of program transformation between variable sharing and message passing
• Laws of programming for references
• A proof technique for parallel programs
• How to share concurrent wait-free variables
• Towards a modeling language for cyber-physical systems
• Introducing concurrency in sequential Java via laws
• On specification of Read/Write shared variables
• scientific article; zbMATH DE number 1949583 (Why is no real title available?)

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