scientific article

zbMATH Open0692.68014MaRDI QIDQ3034805

A. D. Zakrevskij

Publication date: 1988

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

zbMATH Keywords

correctnessPetri netsparallel algorithmsreduction methodVerification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Title not available (Why is that?) ⋮ Verifying the correctness of parallel logical control algorithms ⋮ On the correctness of orphan management algorithms ⋮ Parallel logical control algorithms: Verification and hardware implementation ⋮ Parallel Repetition of Computationally Sound Protocols Revisited

Recommendations

• Title not available (Why is that?) 👍 👎
• Correctness of recursive parallel nondeterministic flow programs 👍 👎
• Parallel algorithms and correctness in parallel programs 👍 👎
• The correctness of asynchronous parallel-flow data processing systems 👍 👎
• Verifying the correctness of parallel logical control algorithms 👍 👎
• On the correctness of parallel algorithms 👍 👎
• Parallel logical control algorithms: Verification and hardware implementation 👍 👎
• Correctness properties in a shared-memory parallel language 👍 👎
• Verification of Correctness of Parallel Algorithms in Practice 👍 👎

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