The liar; an essay in truth and circularity
The liar; an essay in truth and circularity
An algebraic characterization of transition system equivalences
Information and Computation
A domain equation for bisimulation
Information and Computation
Research topics in functional programming
Terminal coalgebras in well-founded set theory
Theoretical Computer Science
A co-induction principle for recursively defined domains
Theoretical Computer Science
Algebraic set theory
Axiomatic domain theory in categories of partial maps
Axiomatic domain theory in categories of partial maps
Control flow semantics
Elements of generalized ultrametric domain theory
Theoretical Computer Science
Theoretical Computer Science
Continuity spaces: reconciling domains and metric spaces
MFPS '94 Proceedings of the tenth conference on Mathematical foundations of programming semantics
Generalized metric spaces: completion, topology, and power domains via the Yoneda embedding
Theoretical Computer Science
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Ten Years of Concurrency Semantics; Selected Papers of the Amsterdam Concurrency Group
Ten Years of Concurrency Semantics; Selected Papers of the Amsterdam Concurrency Group
Computational Adequacy via "Mixed" Inductive Definitions
Proceedings of the 9th International Conference on Mathematical Foundations of Programming Semantics
Proceedings of the 9th International Conference on Mathematical Foundations of Programming Semantics
Final Semantics for untyped lambda-calculus
TLCA '95 Proceedings of the Second International Conference on Typed Lambda Calculi and Applications
A Concrete Final Coalgebra Theorem for ZF Set Theory
TYPES '94 Selected papers from the International Workshop on Types for Proofs and Programs
Concurrency and Automata on Infinite Sequences
Proceedings of the 5th GI-Conference on Theoretical Computer Science
On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders
Proceedings of the REX Workshop on Sematics: Foundations and Applications
Initial Algebra and Final Coalgebra Semantics for Concurrency
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
Category Theory and Computer Science
Categorical Modelling of Structural Operational Rules: Case Studies
CTCS '97 Proceedings of the 7th International Conference on Category Theory and Computer Science
Quasi Uniformities: Reconciling Domains with Metric Spaces
Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics
Towards a Mathematical Operational Semantics
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
Coinductive Interpreters for Process Calculi
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Towards Quantitative Verification of Probabilistic Transition Systems
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Testing Labelled Markov Processes
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Semantical Principles in the Modal Logic of Coalgebras
STACS '01 Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science
An Algorithm for Quantitative Verification of Probabilistic Transition Systems
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Categories of Processes Enriched in Final Coalgebras
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
A Language Prototyping Tool Based on Semantic Building Blocks
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Distributivity of categories of coalgebras
Theoretical Computer Science
Coinductive characterizations of applicative structures
Mathematical Structures in Computer Science
Theoretical Computer Science - Logic, semantics and theory of programming
On the computational complexity of bisimulation, redux
Information and Computation - Special issue: Commemorating the 50th birthday anniversary of Paris C. Kanellakis
Theoretical Computer Science - Selected papers of CMCS'03
A behavioural pseudometric for probabilistic transition systems
Theoretical Computer Science - Automata, languages and programming
On the final sequence of a finitary set functor
Theoretical Computer Science
Approximating and computing behavioural distances in probabilistic transition systems
Theoretical Computer Science
Recursively defined metric spaces without contraction
Theoretical Computer Science
Domain Equations Based on Sets with Families of Pre-orders
Electronic Notes in Theoretical Computer Science (ENTCS)
A Single Complete Relational Rule for Coalgebraic Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
Map Theory: From Well-Foundation to Antifoundation
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
On the computational complexity of bisimulation, redux
Information and Computation
The category-theoretic solution of recursive metric-space equations
Theoretical Computer Science
Quantitative Kleene coalgebras
Information and Computation
Indexed induction and coinduction, fibrationally
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
An accessible approach to behavioural pseudometrics
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
A perspective on component refinement
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
On the semantics of coinductive types in martin-löf type theory
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Hi-index | 0.00 |
This paper, a revised version of Rutten and Turi (1993), is part of a programme aiming at formulating a mathematical theory of structural operational semantics to complement the established theory of domains and denotational semantics to form a coherent whole (Turi 1996; Turi and Plotkin 1997). The programme is based on a suitable interplay between the induction principle, which pervades modern mathematics, and a dual, non-standard ‘coinduction principle’, which underlies many of the recursive phenomena occurring in computer science.The aim of the present survey is to show that the elementary categorical notion of a final coalgebra is a suitable foundation for such a coinduction principle. The properties of coalgebraic coinduction are studied both at an abstract categorical level and in some specific categories used in semantics, namely categories of non-well-founded sets, partial orders and metric spaces.