Verifying the correctness of parallel logical control algorithms

zbMATH Open0657.68031MaRDI QIDQ1111014FDOQ1111014

Authors: A. D. Zakrevskij 

Publication date: 1987

Published in: Programming and Computer Software (Search for Journal in Brave)

Recommendations

• scientific article; zbMATH DE number 4133475
• Parallel logical control algorithms: Verification and hardware implementation
• Verification of correctness of parallel algorithms in practice
• scientific article; zbMATH DE number 1751910
• On the correctness of parallel algorithms
• scientific article; zbMATH DE number 3890706
• A survey of verification techniques for parallel programs
• scientific article; zbMATH DE number 2021573

zbMATH Keywords

Petri netscorrectnessparallel logical control algorithms

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Algorithms in computer science (68W99)

Cited In (5)

• Title not available (Why is that?)
• Parallel logical control algorithms: Verification and hardware implementation
• Verification of correctness of parallel algorithms in practice
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Verifying the correctness of parallel logical control algorithms

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