Iteration Theory
Download Iteration Theory PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Iteration Theory book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Iteration Theories
Author: Stephen L. Bloom
language: en
Publisher: Springer Science & Business Media
Release Date: 2012-12-06
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.
Index Theory for Symplectic Paths with Applications
This book is based upon my monograph Index Theory for Hamiltonian Systems with Applications published in 1993 in Chinese, and my notes for lectures and courses given at Nankai University, Brigham Young University, ICTP-Trieste, and the Institute of Mathematics of Academia Sinica during the last ten years. The aim of this book is twofold: (1) to give an introduction to the index theory for symplectic matrix paths and its iteration theory, which form a basis for the Morse theoretical study on Hamilto nian systems, and to give applications of this theory to periodic boundary value problems of nonlinear Hamiltonian systems. Here the iteration theory means the index theory of iterations of periodic solutions and symplectic matrix paths. (2) to serve as a reference book on these topics. There are many different ways to introduce the index theory for symplectic paths in order to establish Morse type index theory of Hamiltonian systems. In this book, I have chosen a relatively elementary way, i.e., the homotopy classification method of symplectic matrix paths. It depends only on linear algebra, point set topology, and certain basic parts of linear functional analysis. I have tried to make this part of the book self-contained and at the same time include all of the major results on these topics so that researchers and students interested in them can read it without substantial difficulties, and can learn the main results in this area for their possible applications.
Semantics for Concurrency
Author: Marta Z. Kwiatkowska
language: en
Publisher: Springer Science & Business Media
Release Date: 2013-03-14
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 different, and often incompatible, attitudes towards abstracting non-sequential behaviour. When confronted with process algebras, which give rise to very elegant, highly abstract and com positional models, traditionally based on the interleaving abstraction, some argue that the wealth of contribution they have made is partially offset by the difficulty in dealing with topics such as faimess. On the other hand, the non-interleaving approaches, based on causality, although easing problems with fairness and confusion, still lack struc ture, compositionality, and the elegance of the interleaving counter parts. Since both these approaches have undoubtedly provided important contributions towards understanding of concurrent systems, one should concentrate on what they have in common, rather than the way they differ. The Intemational Workshop on Semantics for Concurrency held at the University of Leicester on 23-25 July 1990 was organised to help overcome this problem. Its main objective was not to be divisive, but rather to encourage discussions leading towards the identification of the positive objective features of the main approaches, in the hope of furthering common understanding. The Workshop met with an excel lent response, and attracted contributions from all over the world. The result was an interesting and varied programme, which was a combi nation of invited and refereed papers. The invited speakers were: Prof. dr. E. Best (Hildesheim University) Prof. dr. A.