Verifying the correctness of parallel logical control algorithms

zbMATH Open0657.68031MaRDI QIDQ1111014

A. D. Zakrevskij

Publication date: 1987

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

zbMATH Keywords

correctnessPetri netsparallel 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)

Related Items (3)

Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Parallel logical control algorithms: Verification and hardware implementation

Recommendations

• A survey of verification techniques for parallel programs 👍 👎
• On the correctness of parallel algorithms 👍 👎
• 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?) 👍 👎
• 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)