Rutten, J.J.M.M.: Universal coalgebra: a theory of systems. Theoretical Computer Science 249 (2000) 3-80 Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Test Case Selection for Dynamic Systems by Unfolding of Modal .. - Aiguier, Longuet (Correct)
No context found.
Rutten, J.J.M.M.: Universal coalgebra: a theory of systems. Theoretical Computer Science 249 (2000) 3-80
History Dependent Automata - Montanari, Pistore (2001) (3 citations) (Correct)
No context found.
J.J.M.M. Rutten. Universal coalgebra: a theory of systems. Theoretical Computer Science, 249(1):3--80, 2000.
Modeling Fresh Names in the π-calculus Using.. - Bruni, Honsell, Lenisa.. (2002) (Correct)
No context found.
J. Rutten. Universal coalgebra: a theory of systems. TCS, 249(1):3--80, 2000.
A Coalgebraic Calculus for Component Based Systems - Meng, Aichernig (Correct)
No context found.
Jan Rutten. Universal coalgebra: a theory of systems. Theoretical Computer Science, 249:3-- 80, 2000.
A Calculus of Circular Proofs and its Categorical Semantics - Santocanale (2002) (2 citations) (Correct)
No context found.
J. J. M. M. Rutten. Universal coalgebra: a theory of systems. Theoret. Comput. Sci., 249(1):3-80, 2000.
Conditional Circular Coinductive Rewriting with Case Analysis - Goguen, Lin, Rosu (2002) (Correct)
No context found.
J. Rutten. Universal coalgebra: a theory of systems. Theoretical Computer Science, 249:3-- 80, 2000.
Towards Behavioral Maude: Behavioral Membership Equational Logic - Meseguer, Rosu (2002) (Correct)
No context found.
Jan Rutten. Universal coalgebra: a theory of systems. Theoretical Computer Science, 249:3-80, 2000.
Incompleteness of Behavioral Logics - Buss, Rosu (2000) (4 citations) (Correct)
No context found.
J.J.M.M. Rutten. Universal coalgebra: a theory of systems. Technical Report CS-R9652, CWI, 1996. 19
Generalised Coinduction - Bartels (2000) (9 citations) (Correct)
No context found.
J.J.M.M. Rutten. Universal coalgebra: A theory of systems. Theoretical Computer Science, 249(1):3--80, October 2000.
Algebraic-Coalgebraic Specification in CoCasl - Mossakowski, Schröder.. (2003) (1 citation) (Correct)
No context found.
J. Rutten, Universal coalgebra: A theory of systems, Theoret. Comput. Sci. 249 (2000), 3-80.
On Refinement of Generic Software Components - Meng, Barbosa (2003) (Correct)
No context found.
J. Rutten. Universal coalgebra: A theory of systems. Theor. Comp. Sci., 249(1):3--80, 2000.
Formal Proofs of Confidentiality in Java Pograms - Jacobs, Warnier (Correct)
No context found.
J. Rutten. Universal coalgebra: a theory of systems. Theor. Comp. Sci., 249:3-80, 2000.
Modular Construction of Modal Logics - Corina Crstea And (Correct)
No context found.
J.J.M.M. Rutten. Universal coalgebra: A theory of systems. Theoretical Computer Science, 249:3--80, 2000.
Probabilistic Automata: System Types, Parallel Composition.. - Sokolova, de Vink (Correct)
No context found.
J.J.M.M. Rutten, Universal coalgebra: A theory of systems, Theoretical Computer Science 249 (2000), 3--80.
Monotonic Modal Logics - Hansen (2003) (Correct)
No context found.
J. J. M. M. Rutten. Universal coalgebra: a theory of systems. Theoretical Computer Science, 249:3-80, 2000.
Guaranteed Optimization for Domain-Specific Programming - Veldhuizen (2003) (Correct)
No context found.
Rutten, J.J.M.M.: Universal coalgebra: a theory of systems. Theoretical Computer Science 249 (2000) 3-80
Weak Bisimulation for Action-Type Coalgebras - Sokolova, de Vink, Woracek (Correct)
No context found.
J.J.M.M. Rutten. Universal coalgebra: A theory of systems. Theoretical Computer Science, 249:3--80, 2000.
From Algebras and Coalgebras to Dialgebras - Poll, Zwanenburg (2001) (2 citations) (Correct)
No context found.
J. Rutten. Universal coalgebra: a theory of systems. Theoretical Computer Science, 249:3-80, 2000.
Decidability and Complexity Issues for Infinite-State Processes - Srba (2003) (Correct)
No context found.
J. Rutten. Universal coalgebra: A theory of systems. Theoretical Computer Science, 249(1):3--80, 2000.
Modular Construction of Modal Logics - Corina Crstea And (Correct)
No context found.
J.J.M.M. Rutten. Universal coalgebra: A theory of systems. Theoretical Computer Science, 249:3--80, 2000.
Unknown - (Correct)
No context found.
J.J.M.M. Rutten, Universal coalgebra: a theory of systems, Theoretical Computer Science (2000), no. 249, 3--80.
A Hierarchy of Probabilistic System Types - Falk Bartels Ana (2003) (4 citations) (Correct)
No context found.
J.J.M.M. Rutten. Universal coalgebra: A theory of systems. Theoretical Computer Science, 249:3--80, 2000.
Components, Connectors and Architectural Patterns - Barbosa (2003) (Correct)
No context found.
J. Rutten.: Universal coalgebra: A theory of systems. Theor. Comp. Sci. 249(1) (2000) 3--80 (Revised version of CWI Techn. Rep. CS-R9652 1996).
An Application Of Coinductive Stream Calculus To Signal Flow Graphs - Rutten (2003) (1 citation) (Correct)
No context found.
J.J.M.M. Rutten. Universal coalgebra: a theory of systems. Theoretical Computer Science, 249(1):3--80, 2000.
Towards a Coalgebraic Semantics of UML: Class Diagrams and Use .. - Meng, Aichernig (2003) (3 citations) (Correct)
No context found.
J. Rutten. Universal coalgebra: a theory of systems. Theoretical Computer Science, 249:3--80, 2000.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC