scientific article; zbMATH DE number 1751910

MaRDI QIDQ4533007zbMATH OpenFDO

Authors Dmitrij I. Cheremisinov

Publication date 6 June 2002

zbMATH Keywords

PRALUprogram implementation of parallel algorithms

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Parallel logical control algorithms: Verification and hardware implementation
• scientific article; zbMATH DE number 3921963
• scientific article; zbMATH DE number 4133475
• Methods on synthesis and implementation of programmable logical controllers via parallel Petri nets
• scientific article; zbMATH DE number 4064461

Cited in

(5)

• scientific article; zbMATH DE number 4133475 (Why is no real title available?)
• Parallel logical control algorithms: Verification and hardware implementation
• Portierbarkeit von Anwenderprogrammen für freiprogrammierbare Steuerungen
• Logic control and ``reactive systems: algorithmization and programming
• Verifying the correctness of parallel logical control algorithms

Describes a project that uses

Uses Software

• FORTH

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