Documents
Authors
Tables
Log in
Sign up
MetaCart
DMCA
Donate
Documents:
Advanced Search
Include Citations
Authors:
Advanced Search
Include Citations |
Disambiguate
Tables:
DMCA
Universal coalgebra: a theory of systems (2000)
Cached
Download Links
[www.cwi.nl]
[homepages.cwi.nl]
[agp.hx0.ru]
[homepages.cwi.nl]
[www.cwi.nl]
Save to List
Add to Collection
Correct Errors
Monitor Changes
by J. J. M. M. Rutten
Citations:
408 - 42 self
Summary
Citations
Active Bibliography
Co-citation
Clustered Documents
Version History
Citations
1612
A Calculus of Communicating Systems.
- Milner - 1982
1539
A structural approach to operational semantics
- Plotkin - 2004
777
Concurrency and automata on infinite sequences, in:
- Park - 1981
613
An Introduction to Chaotic Dynamical Systems
- Devaney - 1985
528
Bisimulation through Probabilistic Testing.
- Larsen, Skou - 1991
383
Categories for the Working Mathematician, volume 5 of Graduate texts in mathematics
- Lane - 1998
305
Categories for model of concurrency,” in
- Winskel - 1994
271
A tutorial on (co)algebras and (co)induction.
- Jacobs, Rutten - 1997
220
Logics of Time and Computation
- Goldblatt
216
Formal Verification of Parallel Programs.
- Keller - 1976
212
Structured operational semantics and bisimulation as a congruence.
- Groote, Vaandrager - 1992
194
The category-theoretic solution of recursive domain equations
- Smyth, Plotkin - 1982
194
Reactive, generative and stratified models of probabilistic processes.
- Glabbeek, Smolka, et al. - 1990
189
A final coalgebra theorem.
- Aczel, Mendler - 1989
157
Terminal coalgebras in well-founded set theory,
- Barr - 1993
144
Handbook of Categorical Algebra 1: Basic Category Theory,
- Borceux - 1994
143
Bisimulation from open maps.
- Joyal, Nielsen, et al. - 1996
122
A domain equation for bisimulation
- Abramsky - 1991
112
Relational properties of domains
- Pitts - 1996
108
Universal Algebra,
- Meinke, Tucker - 1992
102
Bisimulation for probabilistic transition systems: A coalgebraic approach
- Vink, Rutten - 1999
97
An approach to object semantics based on terminal coalgebras,
- Reichel - 1995
93
Full abstraction for a simple parallel programming language
- Hennessy, Plotkin - 1979
85
Structural induction and coinduction in a fibrational setting
- Hermida, Jacobs - 1998
82
Relations and Graphs - Discrete Mathematics for Computer Scientists,
- Schmidt, Strohlein - 1993
81
Solving reflexive domain equations in a category of complete metric spaces
- America, Rutten - 1989
78
A Categorical Programming Language
- Hagino - 1987
75
Objects and classes, co-algebraically.
- Jacobs - 1995
73
Vicious Circles: On the Mathematics of NonWellfounded Phenomena.
- Barwise, Moss - 1996
55
Initial algebra and final coalgebra semantics for concurrency
- Rutten, Turi - 1994
53
Functorial Operational Semantics and its Denotational Dual
- Turi - 1996
51
On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders”.
- Rutten, Turi - 1992
48
Non-Well-Founded Sets. Number 14
- Aczel - 1988
46
Processes: A mathematical model of computing agents.
- Milner - 1973
44
The meaning of negative premises in transition system specifications II.
- Glabbeek - 2004
43
A co-induction principle for recursively defined domains
- Pitts
40
Algebraic Specification of Data Types: A Synthetic Approach
- Lehmann, Smyth - 1981
36
A coinduction principle for recursive data types based on bisimulation
- Fiore - 1996
36
Reasoning about classes in object-oriented languages: Logical models and tools
- Hensel, Huisman, et al. - 1997
32
An Introduction to Chaotic Dynamical Systems (Benjamin/Cummings,
- Devaney - 1986
31
Mongruences and cofree coalgebras
- Jacobs - 1995
31
On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
- Turi, Rutten - 1998
30
A calculus of transition systems (towards universal coalgebra). In
- Rutten - 1995
27
Control Flow Semantics. Foundations of Computing Series.
- Bakker, Vink - 1996
26
Algebraic Theories. Volume 26 of Graduate Texts in Mathematics
- Manes - 1976
25
Inheritance and cofree constructions
- Jacobs - 1996
25
Processes as terms: Non-well-founded models for bisimulation
- Rutten - 1992
21
Final universes of processes.
- Aczel - 1993
21
E.G.: Machines in a category
- Arbib, Manes - 1980
20
Parameterized data types do not need highly constrained parameters
- Arbib, Manes - 1982
20
Logics of time and computation. Number 7
- Goldblatt - 1987
20
A Complete Calculus for Equational Deduction in Coalgebraic Specification
- Corradini - 1998
14
Universal algebra, volume 6 of Mathematics and its Applications
- Cohn - 1981
14
The metric closure powerspace construction
- Kent
14
Covarieties and complete covarieties
- Gumm, Schröder - 1998
13
On the Foundations of Corecursion.
- Moss, Danner - 1997
13
An Initial Algebra Approach to the Speci cation, Correctness and Implementation of Abstract Data Types
- Goguen, Thatcher, et al. - 1978
12
Algebraic Approaches to Program Semantics. Texts and Monogr
- Arbib, Manes - 1986
12
Coalgebraic reasoning about classes in object-oriented languages.
- Jacobs - 1998
11
A small final coalgebra theorem
- Kawahara, Mori
10
M.,\Final Semantics for untyped -calculus
- Honsell, Lenisa
10
Non-well-founded Sets. CSLI lecture notes,
- Aczel - 1988
7
Processes and hyperuniverses
- Forti, Honsell, et al. - 1994
6
Formal veri cation of parallel programs
- Keller - 1976
5
Mathematics of Modality. Number 43
- Goldblatt - 1993
5
Behaviour-refinement of object-oriented specifications with coinductive correctness proofs
- Jacobs - 1997
5
Additions and corrections to “Terminal coalgebras in well-founded set theory.” Theor
- Barr - 1994
4
Available at URL: www.elsevier.nl/locate/entcs
- Jacobs, Moss, et al. - 1998
3
Additions and corrections to "terminal coalgebras in well-founded set theory
- Barr - 1994
3
Completeness in coalgebras,
- Csakany - 1985
3
Structural induction and coinduction in a brational setting
- Hermida, Jacobs - 1998
2
Universal algebra, Mathematics and its applications
- Cohn - 1981
1
Symbolic dynamics and finite automata. Report IGM 96-18, Universit'e de Marne-la-Vall'ee
- B'eal, Perrin - 1996
1
Final semantics for a higher-order concurrent language
- Lenisa - 1996
1
Solving re exive domain equations in a category of complete metric spaces
- America, Rutten - 1989
1
Symbolic dynamics and nite automata, Report IGM 96-18, Universite de Marne-la-Vallee
- Beal, Perrin - 1996
1
Breugel, Terminal metric spaces of nitely branching and image nite linear processes, Theoret
- van - 1998
1
Coalgebra semantics for hidden algebra: parameterised objects and inheritance
- Cˆrstea - 1998
1
Universal coalgebra and categories of transition systems
- Davis - 1970
1
Processes and hyperuniverses, in: I. Privara (Ed
- Forti, Honsell, et al. - 1994
1
Mongruences and cofree coalgebras, in: V.S
- Jacobs - 1995
1
Behaviour-re nement of object-oriented speci cations with coinductive correctness proofs
- Jacobs - 1996
1
Inheritance and cofree constructions, in: P. Cointe (Ed
- Jacobs - 1996
1
A small nal coalgebra theorem, Theoret
- Kawahara, Mori - 1998