Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta- tion of the pure temporal logic: language, semantics, and proof theory; - Representation of programs and their proper- ties within the language of temporal logic; - Application of the logical apparatus to the verification of program proper- ties including a new embedding of Hoare's logic into the temporal framework.We can decrease that term by fitting a larger driver transistor to the wire. ... (We can think of this scheme as a sequence of switches where each switch serves to switch the next larger switch, and the largest switch in the sequence controls the anbsp;...

Title | : | VLSI Algorithms and Architectures |

Author | : | Fillia Makedon, Kurt Mehlhorn, T. Papatheodorou, P. Spirakis |

Publisher | : | Springer Science & Business Media - 1986-06-01 |

Continue