Algebraic theory of processes

by Hennessy, Matthew

Type Book

Rate 0.0 /5

Details

Files

Reviews

Download

Title Statements

Full title :Algebraic theory of processes / Matthew Hennessy.

Summary

This book provides the first general and systematic introduction to the semantics of concurrent systems, a relatively new research area in computer science. It develops the mathematical foundations of the algebraic approach to the formal semantics of languages and applies these ideas to a particular semantic theory of distributed processes. This book is a source of information for theoretical computer scientists. It is a comprehensive introduction to the field and to the author's theory of the behavioral semantics of processes and original results in example languages for distributed processes. The problems addressed are motivated from the standpoint of computer science, and all the required algebraic concepts are covered.

Edition Statements

Publication Date:©1988.

Publication Statements

Publisher(s):The MIT Press
Place of Publication:Cambridge, Mass
Language:eng
Publication Date:©1988.

The Physical Object

Description:ix, 272 pages : : illustrations ; : 24 cm.

Edition Identifiers

ISBN:0262081717, 9780262081719
oclc:ocm16901056
LC Classification:QA76.9.M35
Dewey Decimal:004/.01/51

Subjects

Abstract algebra - For computer sciences Algebra, Abstract Algebraische Struktur Algèbre abstraite Computer science -- Mathematics Informatik Informatique -- Mathématiques Instructional and educational works Langages de programmation -- Sémantique Matériel d'éducation et de formation Programming languages (Electronic compu… Universelle Algebra