Iteration Theories

Iteration Theories

Author: Stephen L. Bloom

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 636

ISBN-13: 3642780342

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 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.


Semantics for Concurrency

Semantics for Concurrency

Author: Marta Z. Kwiatkowska

Publisher: Springer Science & Business Media

Published: 2013-03-14

Total Pages: 353

ISBN-13: 1447138600

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 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.


Lie Groups and Lie Algebras I

Lie Groups and Lie Algebras I

Author: V.V. Gorbatsevich

Publisher: Springer Science & Business Media

Published: 1996-12-18

Total Pages: 552

ISBN-13: 9783540612223

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/or teaching, and needs a source for customary reference on the subject. From my viewpoint, the volume is perfectly fit to serve as such a source, ... On the whole, it is quite a pleasure, after making yourself comfortable in that favourite office armchair of yours, just to keep the volume gently in your hands and browse it slowly and thoughtfully; and after all, what more on Earth can one expect of any book?" --The New Zealand Mathematical Society Newsletter


CAAP'86

CAAP'86

Author: Paul Franchi-Zannettacci

Publisher: Springer Science & Business Media

Published: 1986-03

Total Pages: 316

ISBN-13: 9783540164432

DOWNLOAD EBOOK


Algebraic Methodology and Software Technology

Algebraic Methodology and Software Technology

Author: Michael Johnson

Publisher: Springer Science & Business Media

Published: 1997-12

Total Pages: 612

ISBN-13: 9783540638889

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 6th International Conference on Algebraic Methodology and Software Engineering, AMAST'97, held in Sydney, Australia, in December 1997. The volume presents 48 revised full papers selected from an unusually high number of submissions. One of the outstanding features of AMAST is its mix of serious mathematical development of formal methods in software engineering with practical concerns, tools, case studies, and industrial development. The volume addresses all current aspects of formal methods in software engineering and programming methodology, with a certain emphasis on algebraic and logical foundations.


Algebraic Informatics

Algebraic Informatics

Author: Symeon Bozapalidis

Publisher: Springer

Published: 2009-08-20

Total Pages: 370

ISBN-13: 3642035647

DOWNLOAD EBOOK

Annotation This book constitutes the refereed proceedings of the Third International Conference on Algebraic Informatics, CAI 2009, held in Thessaloniki, Greece, in May 2009. The 16 full papers were carefully reviewed and selected from 25 submissions. The papers cover topics such as algebraic semantics on graph and trees, formal power series, syntactic objects, algebraic picture processing, finite and infinite computations, acceptors and transducers for strings, trees, graphs arrays, etc. decision problems, algebraic characterization of logical theories, process algebra, algebraic algorithms, algebraic coding theory, algebraic aspects of cryptography.


Index Theory for Symplectic Paths with Applications

Index Theory for Symplectic Paths with Applications

Author: Yiming Long

Publisher: Birkhäuser

Published: 2012-12-06

Total Pages: 393

ISBN-13: 3034881754

DOWNLOAD EBOOK

This book gives an introduction to index theory for symplectic matrix paths and its iteration theory, as well as applications to periodic solution problems of nonlinear Hamiltonian systems. The applications of these concepts yield new approaches to some outstanding problems. Particular attention is given to the minimal period solution problem of Hamiltonian systems and the existence of infinitely many periodic points of the Poincaré map of Lagrangian systems on tori.


LATIN 2000: Theoretical Informatics

LATIN 2000: Theoretical Informatics

Author: Gaston H. Gonnet

Publisher: Springer Science & Business Media

Published: 2000-03-23

Total Pages: 497

ISBN-13: 3540673067

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 4th International Conference, Latin American Theoretical Informatics, LATIN 2000, held in Punta del Est, Uruguay, in April 2000. The 42 revised papers presented were carefully reviewed and selected from a total of 87 submissions from 26 countries. Also included are abstracts or full papers of several invited talks. The papers are organized in topical sections on random structures and algorithms, complexity, computational number theory and cryptography, algebraic algorithms, computability, automata and formal languages, and logic and programming theory.


Mathematical Foundations of Programming Semantics

Mathematical Foundations of Programming Semantics

Author: Stephen Brookes

Publisher: Springer Science & Business Media

Published: 1994-05-20

Total Pages: 664

ISBN-13: 9783540580270

DOWNLOAD EBOOK

This volume is the proceedings of the Ninth International Conference on the Mathematical Foundations of Programming Semantics, held in New Orleans in April 1993. The focus of the conference series is the semantics of programming languages and the mathematics which supports the study of the semantics. The semantics is basically denotation. The mathematics may be classified as category theory, lattice theory, or logic. Recent conferences and workshops have increasingly emphasized applications of the semantics and mathematics. The study of the semantics develops with the mathematics and the mathematics is inspired by the applications in semantics. The volume presents current research in denotational semantics and applications of category theory, logic, and lattice theory to semantics.


Handbook of Weighted Automata

Handbook of Weighted Automata

Author: Manfred Droste

Publisher: Springer Science & Business Media

Published: 2009-09-18

Total Pages: 614

ISBN-13: 3642014925

DOWNLOAD EBOOK

The purpose of this Handbook is to highlight both theory and applications of weighted automata. Weighted finite automata are classical nondeterministic finite automata in which the transitions carry weights. These weights may model, e. g. , the cost involved when executing a transition, the amount of resources or time needed for this,or the probability or reliability of its successful execution. The behavior of weighted finite automata can then be considered as the function (suitably defined) associating with each word the weight of its execution. Clearly, weights can also be added to classical automata with infinite state sets like pushdown automata; this extension constitutes the general concept of weighted automata. To illustrate the diversity of weighted automata, let us consider the following scenarios. Assume that a quantitative system is modeled by a classical automaton in which the transitions carry as weights the amount of resources needed for their execution. Then the amount of resources needed for a path in this weighted automaton is obtained simply as the sum of the weights of its transitions. Given a word, we might be interested in the minimal amount of resources needed for its execution, i. e. , for the successful paths realizing the given word. In this example, we could also replace the “resources” by “profit” and then be interested in the maximal profit realized, correspondingly, by a given word.