## Introduction to Bisimulation and Coinduction

Author: Davide Sangiorgi

Publisher: Cambridge University Press

ISBN: 1139502832

Category: Computers

Page: N.A

View: 5019

Induction is a pervasive tool in computer science and mathematics for defining objects and reasoning on them. Coinduction is the dual of induction and as such it brings in quite different tools. Today, it is widely used in computer science, but also in other fields, including artificial intelligence, cognitive science, mathematics, modal logics, philosophy and physics. The best known instance of coinduction is bisimulation, mainly employed to define and prove equalities among potentially infinite objects: processes, streams, non-well-founded sets, etc. This book presents bisimulation and coinduction: the fundamental concepts and techniques and the duality with induction. Each chapter contains exercises and selected solutions, enabling students to connect theory with practice. A special emphasis is placed on bisimulation as a behavioural equivalence for processes. Thus the book serves as an introduction to models for expressing processes (such as process calculi) and to the associated techniques of operational and algebraic analysis.

## Advanced Topics in Bisimulation and Coinduction

Author: Davide Sangiorgi,Jan Rutten

Publisher: Cambridge University Press

ISBN: 1139502905

Category: Computers

Page: N.A

View: 5030

Coinduction is a method for specifying and reasoning about infinite data types and automata with infinite behaviour. In recent years, it has come to play an ever more important role in the theory of computing. It is studied in many disciplines, including process theory and concurrency, modal logic and automata theory. Typically, coinductive proofs demonstrate the equivalence of two objects by constructing a suitable bisimulation relation between them. This collection of surveys is aimed at both researchers and Master's students in computer science and mathematics and deals with various aspects of bisimulation and coinduction, with an emphasis on process theory. Seven chapters cover the following topics: history, algebra and coalgebra, algorithmics, logic, higher-order languages, enhancements of the bisimulation proof method, and probabilities. Exercises are also included to help the reader master new material.

Author: N.A

Publisher: N.A

ISBN: 1107177898

Category:

Page: N.A

View: 3788

## Fundamental Approaches to Software Engineering

8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings

Author: Maura Cerioli

Publisher: Springer

ISBN: 3540319840

Category: Computers

Page: 374

View: 7867

ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conf- ences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci?c to the satellite events), and several tutorials. We received over 550 submissions to the ?ve conferences this year, giving acceptance rates below 30% for each one. Congratulations to all the authors who made it to the ?nal program! I hope that most of the other authors still found a way of participating in this exciting event and I hope you will continue submitting. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems,andtheemphasisonsoftwareisnotintendedtobeexclusive.

## Logische Untersuchungen

Author: Gottlob Frege,Günther Patzig

Publisher: Vandenhoeck & Ruprecht

ISBN: 9783525340318

Category: History

Page: 172

View: 1067

## Relationen und Graphen

Author: Gunther Schmidt,Thomas Ströhlein

Publisher: Springer-Verlag

ISBN: 3642836089

Category: Mathematics

Page: 306

View: 9562

Dieses Buch gibt eine neuartige systematische Darstellung der Diskreten Mathematik; sie orientiert sich an Methoden der Relationenalgebra. Ähnlich wie man es sonst nur für die weit entwickelte Analysis im kontinuierlichen Fall und die Matrizenrechnung gewohnt ist, stellt dieses Buch auch für die Behandlung diskreter Probleme geeignete Techniken und Hilfsmittel sowie eine einheitliche Theorie bereit. Die einzelnen Kapitel beginnen jeweils mit anschaulichen und motivierenden Beispielen und behandeln anschließend den Stoff in mathematischer Strenge. Es folgen jeweils praktische Anwendungen. Diese entstammen der Semantik der Programmierung, der Programmverifikation, dem Datenbankbereich, der Spieltheorie oder der Theorie der Zuordnungen und Überdeckungen aus der Graphentheorie; sie reichen aber auch bis zu rein mathematischen "Anwendungen" wie der transfiniten Induktion. Im Anhang ist dem Buch eine Einführung in die Boolesche Algebra und in die Axiomatik der Relationenalgebra beigegeben, sowie ein Abriß der Fixpunkt- und Antimorphismen-Theorie.

## Algebra and Coalgebra in Computer Science

Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings

Author: Till Mossakowski,Ugo Montanari,Magne Haveraaen

Publisher: Springer

ISBN: 3540738592

Category: Computers

Page: 463

View: 3295

A double-pronged approach makes this book an extremely useful addition to the literature on this highly relevant contemporary topic. Addressing two basic areas of application for algebras and coalgebras – as mathematical objects as well as in the context of their application in computer science – the papers cover topics such as abstract models and logics, specialised models and calculi, algebraic and coalgebraic semantics, and system specification and verification. The book is the refereed proceedings of the second CALCO conference, held in August 2007 in Norway.

## Mathematische Werke

Herausgegeben unter Mitwirkung einer von der königlich preussischen Akademie der Wissenschaften eingesetzten Commission

Author: Karl Weierstrass

Publisher: Cambridge University Press

ISBN: 1108059139

Category: Mathematics

Page: 370

View: 7717

The German mathematician Karl Weierstrass (1815-97) is generally considered to be the father of modern analysis. His clear eye for what was important is demonstrated by the publication, late in life, of his polynomial approximation theorem; suitably generalised as the Stone-Weierstrass theorem, it became a central tool for twentieth-century analysis. Furthermore, the Weierstrass nowhere-differentiable function is the seed from which springs the entire modern theory of mathematical finance. The best students in Europe came to Berlin to attend his lectures, and his rigorous style still dominates the first analysis course at any university. His seven-volume collected works in the original German contain not only published treatises but also records of many of his famous lecture courses. Volume 1 was published in 1894.

## Principia mathematica

Vorwort und Einleitungen

Author: Alfred North Whitehead,Bertrand Russell

Publisher: N.A

ISBN: 9783518281932

Category: Mathematische Logik

Page: 167

View: 7067

## Theorem Proving in Higher Order Logics

9th International Conference, TPHOLs'96, Turku, Finland, August 26 - 30, 1996, Proceedings

Author: Joakim von Wright,International Conference on Theorem Proving in Higher Order Logics (9 : 1996 : Turku),Jim Grundy

Publisher: Springer

ISBN: N.A

Category: Computers

Page: 446

View: 940

This book constitutes the refereed proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics, TPHOL '96, held in Turku, Finland, in August 1996. The 27 revised full papers included together with one invited paper were carefully selected from a total of 46 submissions. The topics addressed are theorem proving technology, proof automation and decision procedures, mechanized theorem proving, extensions of higher order logics, integration of external tools, novel applications, and others. All in all, the volume is an up-to-date report on the state of the art in this increasingly active field.

## Discrete Event Systems

Analysis and Control

Author: R. Boel,Geert Stremersch

Publisher: Springer Science & Business Media

ISBN: 9780792378976

Category: Science

Page: 484

View: 4361

Discrete Event Systems: Analysis and Control is the proceedings of WODES2000 (the 5th Workshop on Discrete Event Systems, held in Ghent, Belgium, on August 21-23, 2000). This book provides a survey of the current state of the art in the field of modeling, analysis and control synthesis of discrete event systems, lecture notes for a mini course on sensitivity analysis for performance evaluation of timed discrete event systems, and 48 carefully selected papers covering all areas of discrete event theory and the most important applications domains. Topics include automata theory and supervisory control (12); Petri net based models for discrete event systems, and their control synthesis (11); (max,+) and timed automata models (9); applications papers related to scheduling, failure detection, and implementation of supervisory controllers (7); formal description of PLCs (6); and finally, stochastic models of discrete event systems (3).

## Transactions on Aspect-Oriented Software Development V

Focus: Aspects, Dependencies and Interactions

Author: Awais Rashid,Harold Ossher

Publisher: Springer Science & Business Media

ISBN: 3642020585

Category: Computers

Page: 265

View: 2717

The six papers collected here, from the journal devoted to all facets of aspect-oriented software development (AOSD) techniques, includes three submitted through the regular channels and three that focus on the area of aspects, dependencies and interactions.

## Algebra and Coalgebra in Computer Science

First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings

Author: Wales) Calco (2005 Swansea

Publisher: Springer Science & Business Media

ISBN: 3540286209

Category: Computers

Page: 455

View: 4097

This book constitutes the refereed proceedings of the First International Conference on Algebra and Coalgebra in Computer Science, CALCO 2005, held in Swansea, UK in September 2005. The biennial conference was created by joining the International Workshop on Coalgebraic Methods in Computer Science (CMCS) and the Workshop on Algebraic Development Techniques (WADT). It addresses two basic areas of application for algebras and coalgebras – as mathematical objects as well as their application in computer science. The 25 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 62 submissions. The papers deal with the following subjects: automata and languages; categorical semantics; hybrid, probabilistic, and timed systems; inductive and coinductive methods; modal logics; relational systems and term rewriting; abstract data types; algebraic and coalgebraic specification; calculi and models of concurrent, distributed, mobile, and context-aware computing; formal testing and quality assurance; general systems theory and computational models (chemical, biological, etc); generative programming and model-driven development; models, correctness and (re)configuration of hardware/middleware/architectures; re-engineering techniques (program transformation); semantics of conceptual modelling methods and techniques; semantics of programming languages; validation and verification.

## Foundations of Software Science and Computational Structures

15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings

Author: Lars Birkedal

Publisher: Springer

ISBN: 3642287298

Category: Mathematics

Page: 484

View: 2128

This book constitutes the proceedings of the 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 29 papers presented in this book together with two invited talks in full paper length were carefully reviewed and selected from 100 full paper submissions. The papers deal with theories and methods to support analysis, synthesis, transformation and verification of programs and software systems.

## Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie

Author: John E. Hopcroft,Rajeev Motwani,Jeffrey D. Ullman

Publisher: N.A

ISBN: 9783827370204

Category: Automatentheorie - Lehrbuch

Page: 528

View: 3819

## Kategorien und Funktoren

Author: Bodo Pareigis

Publisher: N.A

ISBN: N.A

Category: Categories (Mathematics)

Page: 192

View: 3962

## Mathematics of Program Construction

9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings

Author: Philippe Audebaud

Publisher: Springer Science & Business Media

ISBN: 3540705937

Category: Computers

Page: 423

View: 9079

ThisvolumecontainstheproceedingsofMPC2008, the9thInternationalConf- enceontheMathematicsofProgramConstruction.Thisseriesofconferencesaims to promote the development of mathematical principles and techniques that are demonstrably useful in the process of constructing computer programs, whether implemented in hardware or software. The focus is on techniques that combine precision with conciseness, enabling programs to be constructed by formal c- culation.Within this theme, the scopeofthe seriesisverydiverse, including p- grammingmethodology, programspeci?cationandtransformation, programming paradigms, programmingcalculi, andprogramminglanguagesemantics. The quality of the papers submitted to the conference was in general very high, and the number of submissions was comparable to that for the previous conference. Each paper was refereed by at least four, and often more, committee members. This volume contains 18 papers selected for presentation by the Program Committee from 41 submissions, 1 invited paper which was reviewed as well, and the abstracts for two invited talks. The conference took place in Marseille-Luminy, France. The previous eight conferences were held in 1989 in Twente, The Netherlands; in 1992 in Oxford, UK; in 1995 in Kloster Irsee, Germany; in 1998 in Marstrand near Got ] eborg, Sweden; in 2000 in Ponte de Lima, Portugal; in 2002 in Dagstuhl, Germany; in 2004, in Stirling, UK; and in 2006 in Kuressaare, Estonia. The proceedings of these conferences were published as LNCS 375, 669, 947, 1422, 1837, 2386, 3125 and 4014, respectively. We aregratefulto the members ofthe ProgramCommittee andtheir referees for their care and diligence in reviewing the submitted pa

## Das einzig Gewisse ist das Ungewisse

Streifzüge durch die unberechenbare Welt der Mathematik

Author: John Allen Paulos

Publisher: N.A

ISBN: 9783593374239

Category:

Page: 223

View: 8684

## Recent Trends in Data Type Specification

11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19 - 23, 1995, Selected Papers

Author: Magne Haveraaen,Olaf Owe,Ole-Johan Dahl,Workshop on Specification of Abstract Data Types

Publisher: Springer Science & Business Media

ISBN: 9783540616290

Category: Computers

Page: 550

View: 3999

This book contains a strictly refereed selection of revised full papers chosen from the papers accepted for presentation during the 11th Workshop on Abstract Data Types held jointly with the 8th COMPASS Workshop in Oslo, Norway, in September 1995. The 25 research papers included were chosen from 57 pre-selected workshop presentations; also included are six invited contributions. The volume reports the progress achieved in the area of algebraic specification since the predecessor meeting held in May 1994.

## Foundations of Software Science and Computational Structures

13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010, Proceedings

Author: Luke Ong

Publisher: Springer Science & Business Media

ISBN: 3642120318

Category: Computers

Page: 389

View: 9727