scientific article; zbMATH DE number 3956418

MaRDI QIDQ3725530zbMATH OpenFDO

Authors Björn Lisper

Publication date 1986

zbMATH Keywords

cell action structurecommunication structureFFT algorithmsynchronous concurrent systems

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• Synthesis and equivalence of concurrent systems
• Synthesizing synchronous systems by static scheduling in space-time
• scientific article; zbMATH DE number 3894485
• The concurrent assignment representation of synchronous systems
• The synthesis problem of Petri nets

Cited in

(7)

• Synthesis and equivalence of concurrent systems
• From synchronous programs to symbolic representations of hybrid systems
• Implementations of the CSP Notation for Concurrent Systems
• scientific article; zbMATH DE number 17804 (Why is no real title available?)
• Synthesis of Persistent Systems
• The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems
• Convergent Systems: Analysis and Synthesis

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