scientific article; zbMATH DE number 756078

zbMATH Open0830.68015MaRDI QIDQ4698369FDOQ4698369

Authors: Xu Qiwen, He Jifeng 

Publication date: 17 May 1995

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

parallel programssequential programming

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited In (9)

• 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
• 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
• Title not available (Why is that?)

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)