scientific article; zbMATH DE number 3926249

MaRDI QIDQ3700840zbMATH OpenFDO

Authors Martin Rem

Publication date 1985

zbMATH Keywords

specificationconcurrent programTrace theoryintegrated circuitscommunicating programs

Mathematics Subject Classification ID

Theory of software (68N99) Theory of computing (68Q99)

Recommendations

• Trace theory and VLSI design
• Compiling communicating processes into delay-insensitive VLSI circuits
• scientific article; zbMATH DE number 194039
• scientific article; zbMATH DE number 3858396
• scientific article; zbMATH DE number 4078802

Cited in

(5)

• Compiling communicating processes into delay-insensitive VLSI circuits
• scientific article; zbMATH DE number 3976939 (Why is no real title available?)
• Calculational derivation of a counter with bounded response time and bounded power dissipation
• scientific article; zbMATH DE number 4133846 (Why is no real title available?)
• I/O overhead and parallel VLSI architectures for lattice computations

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