scientific article; zbMATH DE number 4084986

zbMATH Open0663.68019MaRDI QIDQ3814775FDOQ3814775

Authors: Maciej Koutny 

Publication date: 1988

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

Recommendations

• Adequacy-preserving transformations of COSY path programs
• scientific article; zbMATH DE number 4018373
• Program refinement in fair transition systems
• On transformations of concurrent object programs
• On transformations of concurrent-object programs

zbMATH Keywords

verificationconcurrent programmingprogram transformationpath programsadequacy-preserving insertionpartial deadlocks

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (1)

• Adequacy-preserving transformations of COSY path programs

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