Introduction to Bisimulation and Coinduction

DOWNLOAD NOW »

Author: Davide Sangiorgi

Publisher: Cambridge University Press

ISBN: 1139502832

Category: Computers

Page: N.A

View: 8223

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

DOWNLOAD NOW »

Author: Davide Sangiorgi,Jan Rutten

Publisher: Cambridge University Press

ISBN: 1139502905

Category: Computers

Page: N.A

View: 4249

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.

Logische Untersuchungen

DOWNLOAD NOW »

Author: Gottlob Frege,Günther Patzig

Publisher: Vandenhoeck & Ruprecht

ISBN: 9783525340318

Category: History

Page: 172

View: 5746

Theorem Proving in Higher Order Logics

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

DOWNLOAD NOW »

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: 8029

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.

Relationen und Graphen

DOWNLOAD NOW »

Author: Gunther Schmidt,Thomas Ströhlein

Publisher: Springer-Verlag

ISBN: 3642836089

Category: Mathematics

Page: 306

View: 5213

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

DOWNLOAD NOW »

Author: Till Mossakowski,Ugo Montanari,Magne Haveraaen

Publisher: Springer

ISBN: 3540738592

Category: Computers

Page: 463

View: 6379

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.

Correct System Design

Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings

DOWNLOAD NOW »

Author: Roland Meyer,André Platzer,Heike Wehrheim

Publisher: Springer

ISBN: 3319235060

Category: Computers

Page: 279

View: 4493

This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. This volume is a reflection on Professor Olderog's contributions to the scientific community. It provides a sample of research ideas that have been influenced directly by Ernst-Rüdiger Olderog's work. After a laudatio section that provides a brief overview of Ernst-Rüdiger Olderog's research, the book is comprised of five parts with scientific papers written by colleagues and collaborators of Professor Olderog. The papers address semantics, process algebras, logics for verification, program analysis, and synthesis approaches.

Mathematische Werke

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

DOWNLOAD NOW »

Author: Karl Weierstrass

Publisher: Cambridge University Press

ISBN: 1108059139

Category: Mathematics

Page: 370

View: 7057

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.

Discrete Event Systems

Analysis and Control

DOWNLOAD NOW »

Author: R. Boel,Geert Stremersch

Publisher: Springer Science & Business Media

ISBN: 9780792378976

Category: Science

Page: 484

View: 2879

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

DOWNLOAD NOW »

Author: Awais Rashid,Harold Ossher

Publisher: Springer Science & Business Media

ISBN: 3642020585

Category: Computers

Page: 265

View: 4502

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

DOWNLOAD NOW »

Author: Wales) Calco (2005 Swansea

Publisher: Springer Science & Business Media

ISBN: 3540286209

Category: Computers

Page: 455

View: 5247

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

DOWNLOAD NOW »

Author: Lars Birkedal

Publisher: Springer

ISBN: 3642287298

Category: Mathematics

Page: 484

View: 4853

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.

Mathematics of Program Construction

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

DOWNLOAD NOW »

Author: Philippe Audebaud

Publisher: Springer Science & Business Media

ISBN: 3540705937

Category: Computers

Page: 423

View: 6821

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

Theorem Proving in Higher Order Logics

12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings

DOWNLOAD NOW »

Author: Yves Bertot,Gilles Dowek,Andre Hirschowitz,Christine Paulin,Laurent Thery

Publisher: Springer

ISBN: 3540482563

Category: Mathematics

Page: 364

View: 8156

This book constitutes the refereed proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '99, held in Nice, France, in September 1999. The 20 revised full papers presented together with three invited contributions were carefully reviewed and selected from 35 papers submitted. All current aspects of higher order theorem proving, formal verification, and specification are discussed. Among the theorem provers evaluated are COQ, HOL, Isabelle, Isabelle/ZF, and OpenMath.

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

DOWNLOAD NOW »

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: 6688

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

DOWNLOAD NOW »

Author: Luke Ong

Publisher: Springer Science & Business Media

ISBN: 3642120318

Category: Computers

Page: 389

View: 4890

This book constitutes the refereed proceedings of the 13th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software. The 25 revised full papers presented together with the abstract of the keynote lecture were carefully reviewed and selected from 86 full paper submissions. The papers are organized in topical sections on semantics of programming languages, probabilistic and randomised computation, concurrency and process theory, modal and temporal logics, verification, categorical and coalgebraic methods, as well as lambda calculus and types.

CONCUR '96: Concurrency Theory

7th International Conference, Pisa, Italy, August 26 - 29, 1996. Proceedings

DOWNLOAD NOW »

Author: Ugo Montanari,Vladimiro Sassone

Publisher: Springer Science & Business Media

ISBN: 9783540616047

Category: Computers

Page: 750

View: 7767

This book constitutes the refereed proceedings of the 7th International Conference on Concurrency Theory, CONCUR '96, held in Pisa, Italy, in August 1996. The volume presents 37 revised full papers selected from a total of 133 submissions; also included are seven invited papers. The contributions are grouped into topical sections on process algebras, categorical approaches, the pi-calculus, decidability and complexity, probability, functional and constraint programming, Petri nets, verification, automata and causality, practical models, and shared-memory systems.