scientific article; zbMATH DE number 911851

zbMATH Open0847.68033MaRDI QIDQ4886262

S. V. Pankov

Publication date: 7 October 1996

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

zbMATH Keywords

stream asynchronous parallel systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Correctness of recursive parallel nondeterministic flow programs 👍 👎
• A formal system for specification analysis of concurrent programs 👍 👎
• The correctness of asynchronous parallel-flow data processing systems 👍 👎
• Parameterized Verification of Asynchronous Shared-Memory Systems 👍 👎
• Implementation of Functional Languages 👍 👎
• Correctness of dataflow and systolic algorithms using algebras of streams 👍 👎

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