Iteration Theories

Iteration Theories
Author :
Publisher : Springer Science & Business Media
Total Pages : 636
Release :
ISBN-10 : 9783642780349
ISBN-13 : 3642780342
Rating : 4/5 (49 Downloads)

Book Synopsis Iteration Theories by : Stephen L. Bloom

Download or read book Iteration Theories written by Stephen L. Bloom and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 636 pages. Available in PDF, EPUB and Kindle. Book excerpt: This monograph contains the results of our joint research over the last ten years on the logic of the fixed point operation. The intended au dience consists of graduate students and research scientists interested in mathematical treatments of semantics. We assume the reader has a good mathematical background, although we provide some prelimi nary facts in Chapter 1. Written both for graduate students and research scientists in theoret ical computer science and mathematics, the book provides a detailed investigation of the properties of the fixed point or iteration operation. Iteration plays a fundamental role in the theory of computation: for example, in the theory of automata, in formal language theory, in the study of formal power series, in the semantics of flowchart algorithms and programming languages, and in circular data type definitions. It is shown that in all structures that have been used as semantical models, the equational properties of the fixed point operation are cap tured by the axioms describing iteration theories. These structures include ordered algebras, partial functions, relations, finitary and in finitary regular languages, trees, synchronization trees, 2-categories, and others.


Iteration Theories Related Books

Iteration Theories
Language: en
Pages: 636
Authors: Stephen L. Bloom
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This monograph contains the results of our joint research over the last ten years on the logic of the fixed point operation. The intended au dience consists of
Semantics for Concurrency
Language: en
Pages: 353
Authors: Marta Z. Kwiatkowska
Categories: Computers
Type: BOOK - Published: 2013-03-14 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The semantics of concurrent systems is one of the most vigorous areas of research in theoretical computer science, but suffers from disagree ment due to differe
Lie Groups and Lie Algebras I
Language: en
Pages: 552
Authors: V.V. Gorbatsevich
Categories: Mathematics
Type: BOOK - Published: 1996-12-18 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

From the reviews: "..., the book must be of great help for a researcher who already has some idea of Lie theory, wants to employ it in his everyday research and
CAAP'86
Language: en
Pages: 316
Authors: Paul Franchi-Zannettacci
Categories: Computers
Type: BOOK - Published: 1986-03 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Algebraic Methodology and Software Technology
Language: en
Pages: 612
Authors: Michael Johnson
Categories: Computers
Type: BOOK - Published: 1997-12 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 6th International Conference on Algebraic Methodology and Software Engineering, AMAST'97, held in Sydney,