scientific article; zbMATH DE number 1751910

zbMATH Open1017.68158MaRDI QIDQ4533007FDOQ4533007

Authors: Dmitrij I. Cheremisinov 

Publication date: 6 June 2002

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

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

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)

Cited In (5)

• Title not available (Why is that?)
• Logic control and ``reactive systems: algorithmization and programming
• Verifying the correctness of parallel logical control algorithms
• Parallel logical control algorithms: Verification and hardware implementation
• Portierbarkeit von Anwenderprogrammen für freiprogrammierbare Steuerungen

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)