Synthesis and equivalence of concurrent systems

DOI10.1016/0304-3975(88)90026-6MaRDI QIDQ1105355zbMATH OpenOpenAlexFDO

Authors Björn Lisper

Publication date 1988

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(88)90026-6

zbMATH Keywords

equivalencecommunication structurecomputational networksFFT algorithmcell action structuresynthesis of synchronous concurrent systems with local memory

Mathematics Subject Classification ID

Theory of software (68N99) Theory of operating systems (68N25)

Recommendations

• scientific article; zbMATH DE number 3956418
• Synthesizing synchronous systems by static scheduling in space-time
• scientific article; zbMATH DE number 3894485
• The concurrent assignment representation of synchronous systems
• scientific article; zbMATH DE number 4096757

Cites work

• scientific article; zbMATH DE number 3837358 (Why is no real title available?)
• scientific article; zbMATH DE number 3902029 (Why is no real title available?)
• scientific article; zbMATH DE number 3913652 (Why is no real title available?)
• scientific article; zbMATH DE number 3952666 (Why is no real title available?)
• scientific article; zbMATH DE number 193652 (Why is no real title available?)
• scientific article; zbMATH DE number 3628373 (Why is no real title available?)
• scientific article; zbMATH DE number 3290336 (Why is no real title available?)
• Heterogeneous algebras
• On the Analysis and Synthesis of VLSI Algorithms
• On the Number of Operations Simultaneously Executable in Fortran-Like Programs and Their Resulting Speedup
• Parallel Processing with the Perfect Shuffle
• Petri nets, event structures and domains. I
• Spacetime representations of computational structures
• Synthesizing synchronous systems by static scheduling in space-time
• The parallel execution of DO loops
• Topological transformations as a tool in the design of systolic networks

Cited in

(10)

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

This page was built for publication: Synthesis and equivalence of concurrent systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1105355)