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

SEMANTICS OF SEQUENTIAL AND PARALLEL PROGRAMS

Publisher : Prentice Hall - New York

Bibliographic :

• Paperback (alk. paper)
• ISBN: 0-13-460643-4
• August, 1996, © 1996
• 352 pp.
• Dewey No.: 005.13/1 20

• Programming languages (Electronic computers) -- Semantics.
  Electronic digital computers -- Programming.
• Computer Programming: Sequential Programming

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.