Verifying the correctness of parallel logical control algorithms

zbMATH Open0657.68031MaRDI QIDQ1111014FDOQ1111014

A. D. Zakrevskij

Publication date: 1987

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

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 (3)

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

   Recommendations

• 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?) 👍 👎
• On the correctness of parallel algorithms 👍 👎
• Title not available (Why is that?) 👍 👎
• A survey of verification techniques for parallel programs 👍 👎
• 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)