Back TU TTU Subject Area: CS Basics (Logics, Discrete Mathematics) in CIDEC Library.

SEMANTICS OF SEQUENTIAL AND PARALLEL PROGRAMS

Eike BEST, 1951-

Publisher : Prentice Hall - New York

Bibliographic :

DESCRIPTION:

KEY BENEFIT: Based on an in-depth study of the most widely-used methods for achieving correctness in program design, this book presents the formal semantics of sequential and parallel programs and emphasizes formal relationships between different mathematical description techniques.

CONTENTS :

KEY TOPICS: Covers the semantics of sequential programs; sequential vs. parallel systems; control programs and Petri Nets; Operational semantics and fairness; programs with shared data; communicating programs ; proofs and solutions.

Includes bibliographical references and index.

BOOK CATEGORY: For computer scientists and mathematicians.


Back Top Changed 12/11/1996. Comments: monika@cs.ioc.ee