P-functions and Boolean matrix factorization. A unified approach for wired, programmed and microprogrammed implementations of discrete algorithms

Publication date: 1984

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Boolean functions synthesis of algorithms hardware implementation software implementation logic circuit algebraic model for the representation of algorithms algorithmic state machines asynchronous implementation discrete algorithm implementations feedback instruction high-level instructions low-level instructions matrix description of instructions parallel flowcharts parallel program schemata safe programs synchronous implementation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Algorithms in computer science (68W99)

This page was built for publication: P-functions and Boolean matrix factorization. A unified approach for wired, programmed and microprogrammed implementations of discrete algorithms