Search results for "Coalgebra"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Dusko Pavlovic	A Semantical Approach to Equilibria and Rationality.	CALCO	2009	DBLP DOI BibTeX RDF
23	Sergey Goncharov 0001, Lutz Schröder, Till Mossakowski	Kleene Monads: Handling Iteration in a Framework of Generic Effects.	CALCO	2009	DBLP DOI BibTeX RDF
23	Hans Zantema	A Tool Proving Well-Definedness of Streams Using Termination Tools.	CALCO	2009	DBLP DOI BibTeX RDF
23	Jirí Adámek, Stefan Milius, Jirí Velebil	Semantics of Higher-Order Recursion Schemes.	CALCO	2009	DBLP DOI BibTeX RDF	infinite ?-terms, sets in context, rational tree, Higher-order recursion schemes
23	Giorgio Bacci, Davide Grohmann, Marino Miculan	DBtk: A Toolkit for Directed Bigraphs.	CALCO	2009	DBLP DOI BibTeX RDF
23	Filippo Bonchi, Ugo Montanari	Coalgebraic Symbolic Semantics.	CALCO	2009	DBLP DOI BibTeX RDF
23	Grigore Rosu, Dorel Lucanu	Circular Coinduction: A Proof Theoretical Foundation.	CALCO	2009	DBLP DOI BibTeX RDF
23	Paolo Baldan, Andrea Corradini 0001, Tobias Heindel, Barbara König 0001, Pawel Sobocinski 0001	Unfolding Grammars in Adhesive Categories.	CALCO	2009	DBLP DOI BibTeX RDF
23	Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin	Approximating Labelled Markov Processes Again!	CALCO	2009	DBLP DOI BibTeX RDF
23	Daniel Gâinâ, Kokichi Futatsugi, Kazuhiro Ogata 0001	Constructor-Based Institutions.	CALCO	2009	DBLP DOI BibTeX RDF
23	Dorel Lucanu, Eugen-Ioan Goriac, Georgiana Caltais, Grigore Rosu	CIRC: A Behavioral Verification Tool Based on Circular Coinduction.	CALCO	2009	DBLP DOI BibTeX RDF
23	Furio Honsell, Marina Lenisa	Conway Games, Coalgebraically.	CALCO	2009	DBLP DOI BibTeX RDF	Conway games, coalgebraic games, non-losing strategies
23	Gordon D. Plotkin	Adequacy for Infinitary Algebraic Effects (Abstract).	CALCO	2009	DBLP DOI BibTeX RDF
23	Ichiro Hasuo, Chris Heunen, Bart Jacobs 0001, Ana Sokolova	Coalgebraic Components in a Many-Sorted Microcosm.	CALCO	2009	DBLP DOI BibTeX RDF
23	Andrei Popescu 0001	Weak Bisimilarity Coalgebraically.	CALCO	2009	DBLP DOI BibTeX RDF
23	Jan Komenda, Jan H. van Schuppen	Modular Control of Discrete-Event Systems With Coalgebra.	IEEE Trans. Autom. Control.	2008	DBLP DOI BibTeX RDF
23	Maja Hadzic, Elizabeth Chang 0001	Using coalgebra and coinduction to define ontology-based multi-agent systems.	Int. J. Metadata Semant. Ontologies	2008	DBLP DOI BibTeX RDF
23	Jie-lin Li, Lei Fan	Lax Invariant in Coalgebra.	ACFIE	2008	DBLP DOI BibTeX RDF
23	Federico De Marchi, Benno van den Berg	Models of non-well-founded sets via an indexed final coalgebra theorem.	J. Symb. Log.	2007	DBLP DOI BibTeX RDF
23	Till Mossakowski, Ugo Montanari, Magne Haveraaen (eds.)	Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings	CALCO	2007	DBLP DOI BibTeX RDF
23	Peter T. Johnstone, Stephen Lack, Pawel Sobocinski 0001	Quasitoposes, Quasiadhesive Categories and Artin Glueing.	CALCO	2007	DBLP DOI BibTeX RDF
23	José Luiz Fiadeiro, Vincent Schmitt	Structured Co-spans: An Algebra of Interaction Protocols.	CALCO	2007	DBLP DOI BibTeX RDF
23	David Aspinall 0001, Piotr Hoffman	Datatypes in Memory.	CALCO	2007	DBLP DOI BibTeX RDF
23	Andreas Glausch, Wolfgang Reisig	A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines.	CALCO	2007	DBLP DOI BibTeX RDF
23	Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir	Ready to Preorder: Get Your BCCSP Axiomatization for Free!	CALCO	2007	DBLP DOI BibTeX RDF
23	Marius Petria	An Institutional Version of Gödel's Completeness Theorem.	CALCO	2007	DBLP DOI BibTeX RDF
23	Scott Alexander	Conceptual Data Modeling with Constraints in Maude.	CALCO	2007	DBLP DOI BibTeX RDF
23	Lutz Schröder	Bootstrapping Types and Cotypes in HasCASL.	CALCO	2007	DBLP DOI BibTeX RDF
23	Glynn Winskel	Symmetry and Concurrency.	CALCO	2007	DBLP DOI BibTeX RDF	higher order processes, nondeterministic dataflow, higher dimensional automata, Petri nets, symmetry, unfolding, Event structures, spans, pseudo monads
23	Dorel Lucanu, Grigore Rosu	CIRC : A Circular Coinductive Prover.	CALCO	2007	DBLP DOI BibTeX RDF
23	Radu Mardare	Observing Distributed Computation. A Dynamic-Epistemic Approach.	CALCO	2007	DBLP DOI BibTeX RDF
23	Jan J. M. M. Rutten	Coalgebraic Foundations of Linear Systems.	CALCO	2007	DBLP DOI BibTeX RDF
23	Manuel Clavel, Francisco Durán 0001, Joe Hendrix, Salvador Lucas, José Meseguer 0001, Peter Csaba Ölveczky	The Maude Formal Tool Environment.	CALCO	2007	DBLP DOI BibTeX RDF
23	Paolo Baldan, Andrea Corradini 0001, Hartmut Ehrig, Reiko Heckel, Barbara König 0001	Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets.	CALCO	2007	DBLP DOI BibTeX RDF
23	Barbara König 0001	Deriving Bisimulation Congruences with Borrowed Contexts.	CALCO	2007	DBLP DOI BibTeX RDF
23	Nick Bezhanishvili, Alexander Kurz 0001	Free Modal Algebras: A Coalgebraic Perspective.	CALCO	2007	DBLP DOI BibTeX RDF
23	Luca Aceto, Anna Ingólfsdóttir, Mohammad Reza Mousavi 0001	Impossibility Results for the Equational Theory of Timed CCS.	CALCO	2007	DBLP DOI BibTeX RDF
23	Alexander Kurz 0001, Jirí Rosický	The Goldblatt-Thomason Theorem for Coalgebras.	CALCO	2007	DBLP DOI BibTeX RDF
23	Neil Ghani, Alexander Kurz 0001	Higher Dimensional Trees, Algebraically.	CALCO	2007	DBLP DOI BibTeX RDF
23	Dexter Kozen, Nicholas Ruozzi	Applications of Metric Coinduction.	CALCO	2007	DBLP DOI BibTeX RDF
23	Luís Caires	Logical Semantics of Types for Concurrency.	CALCO	2007	DBLP DOI BibTeX RDF
23	Corina Cîrstea, Mehrnoosh Sadrzadeh	Coalgebraic Epistemic Update Without Change of Model.	CALCO	2007	DBLP DOI BibTeX RDF
23	Manfred Droste, Guo-Qiang Zhang 0001	Bifinite Chu Spaces.	CALCO	2007	DBLP DOI BibTeX RDF
23	Neal A. Harman	Algebraic Models of Simultaneous Multithreaded and Multi-core Processors.	CALCO	2007	DBLP DOI BibTeX RDF	many-sorted algebra, verification, microprocessors, correctness, threaded
23	Fabio Gadducci, Alberto Lluch-Lafuente	Graphical Encoding of a Spatial Logic for the pi -Calculus.	CALCO	2007	DBLP DOI BibTeX RDF
23	Stephen L. Bloom, Zoltán Ésik	Regular and Algebraic Words and Ordinals.	CALCO	2007	DBLP DOI BibTeX RDF
23	Delphine Longuet, Marc Aiguier	Specification-Based Testing for CoCasl's Modal Specifications.	CALCO	2007	DBLP DOI BibTeX RDF	axiom unfolding, coalgebraic specifications, CoCasl, modal logic, Specification-based testing
23	Corina Cîrstea	Modularity in Coalgebra.	CMCS	2006	DBLP DOI BibTeX RDF
23	Jirí Adámek	The intersection of algebra and coalgebra.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
23	Markus Michelbrink	Interfaces as functors, programs as coalgebras - A final coalgebra theorem in intensional type theory.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
23	Hartmut Ehrig	Footprints of HR in Initial Algebra and Final Coalgebra.	Bull. EATCS	2006	DBLP BibTeX RDF
23	Jirí Adámek, Stefan Milius, Jirí Velebil	A general final coalgebra theorem.	Math. Struct. Comput. Sci.	2005	DBLP DOI BibTeX RDF
23	Clemens Kupke, Yde Venema	Closure Properties of Coalgebra Automata.	LICS	2005	DBLP DOI BibTeX RDF
23	José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan J. M. M. Rutten (eds.)	Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings	CALCO	2005	DBLP DOI BibTeX RDF
23	Daniel Hausmann 0001, Till Mossakowski, Lutz Schröder	Towards a Coalgebraic Semantics of the Ambient Calculus.	CALCO	2005	DBLP DOI BibTeX RDF
23	Federico De Marchi	On the Semantics of Coinductive Types in Martin-Löf Type Theory.	CALCO	2005	DBLP DOI BibTeX RDF
23	Anthony C. J. Fox	An Algebraic Framework for Verifying the Correctness of Hardware with Input and Output: A Formalization in HOL.	CALCO	2005	DBLP DOI BibTeX RDF
23	Ernst-Erich Doberkat	Look: Simple Stochastic Relations Are Just, Well, Simple.	CALCO	2005	DBLP DOI BibTeX RDF
23	Bartek Klin, Vladimiro Sassone, Pawel Sobocinski 0001	Labels from Reductions: Towards a General Theory.	CALCO	2005	DBLP DOI BibTeX RDF
23	Gian-Luigi Ferrari 0002, Ugo Montanari, Emilio Tuosto, Björn Victor, Kidane Yemane	Modelling Fusion Calculus using HD-Automata.	CALCO	2005	DBLP DOI BibTeX RDF
23	Prasanna Thati, José Meseguer 0001	Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing.	CALCO	2005	DBLP DOI BibTeX RDF
23	Ignacio D. Viglizzo	Final Sequences and Final Coalgebras for Measurable Spaces.	CALCO	2005	DBLP DOI BibTeX RDF
23	Jan A. Bergstra, Cornelis A. Middelburg	Strong Splitting Bisimulation Equivalence.	CALCO	2005	DBLP DOI BibTeX RDF
23	Artur Zawlocki, Grzegorz Marczynski, Piotr Kosiuczenko	Property Preserving Redesign of Specifications.	CALCO	2005	DBLP DOI BibTeX RDF
23	Miguel Palomino, José Meseguer 0001, Narciso Martí-Oliet	A Categorical Approach to Simulations.	CALCO	2005	DBLP DOI BibTeX RDF
23	Michal Walicki	Bireachability and Final Multialgebras.	CALCO	2005	DBLP DOI BibTeX RDF
23	Andrei Popescu 0001, Grigore Rosu	Behavioral Extensions of Institutions.	CALCO	2005	DBLP DOI BibTeX RDF
23	Dennis Walter, Lutz Schröder, Till Mossakowski	Parametrized Exceptions.	CALCO	2005	DBLP DOI BibTeX RDF
23	John Power	Discrete Lawvere Theories.	CALCO	2005	DBLP DOI BibTeX RDF
23	Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir, Sumit Nain	Bisimilarity Is Not Finitely Based over BPA with Interrupt.	CALCO	2005	DBLP DOI BibTeX RDF
23	Stefan Milius, Lawrence S. Moss	The Category Theoretic Solution of Recursive Program Schemes.	CALCO	2005	DBLP DOI BibTeX RDF
23	Samson Abramsky	Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories.	CALCO	2005	DBLP DOI BibTeX RDF
23	John G. Mersch	Equational Logic of Recursive Program Schemes.	CALCO	2005	DBLP DOI BibTeX RDF
23	Bartek Klin	The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic.	CALCO	2005	DBLP DOI BibTeX RDF
23	Clemens Grabmayer	Using Proofs by Coinduction to Find "Traditional" Proofs.	CALCO	2005	DBLP DOI BibTeX RDF
23	Roberto Bruni, Ivan Lanese, Ugo Montanari	Complete Axioms for Stateless Connectors.	CALCO	2005	DBLP DOI BibTeX RDF
23	Jesse Hughes, Bart Jacobs 0001	Simulations in coalgebra.	Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
23	Jirí Adámek, Stefan Milius, Jirí Velebil	On coalgebra based on classes.	Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
23	Jirí Adámek, Hans-E. Porst	On tree coalgebras and coalgebra presentations.	Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
23	Bart Jacobs 0001, Jesse Hughes	Simulations in Coalgebra.	CMCS	2003	DBLP DOI BibTeX RDF
23	Jirí Adámek, Stefan Milius, Jirí Velebil	On coalgebra based on classes	CoRR	2003	DBLP BibTeX RDF
23	Federico De Marchi, Neil Ghani, Christoph Lüth	Solving Algebraic Equations Using Coalgebra.	RAIRO Theor. Informatics Appl.	2003	DBLP DOI BibTeX RDF
23	Jan Komenda, Jan H. van Schuppen	Decentralized supervisory control with coalgebra.	ECC	2003	DBLP DOI BibTeX RDF
23	Dusko Pavlovic, Vaughan R. Pratt	The continuum as a final coalgebra.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
23	Slawomir Lasota 0001	Coalgebra morphisms subsume open maps.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
23	Corina Cîrstea	On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability.	FoSSaCS	2002	DBLP DOI BibTeX RDF
23	Grigore Rosu	Equational axiomatizability for coalgebra.	Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
23	María José Jiménez 0001, Pedro Real 0001	"Coalgebra" Structures on 1-Homological Models for Commutative Differential Graded Algebras.	CASC	2001	DBLP DOI BibTeX RDF
23	Corina Cîrstea	An Algebra-Coalgebra Framework for System Specification.	CMCS	2000	DBLP DOI BibTeX RDF
23	Yasuo Kawahara, Masao Mori	A small final coalgebra theorem.	Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
23	Jan J. M. M. Rutten	Universal coalgebra: a theory of systems.	Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
23	Slawomir Lasota 0001	Coalgebra morphisms subsume open maps.	CMCS	1999	DBLP DOI BibTeX RDF
23	Dusko Pavlovic, Vaughan R. Pratt	On coalgebra of real numbers.	CMCS	1999	DBLP DOI BibTeX RDF
23	Adam Eppendahl	Coalgebra-to-Algebra Morphisms.	CTCS	1999	DBLP DOI BibTeX RDF
23	Ataru T. Nakagawa	Algebra-Coalgebra Structures and Bialgebras.	WADT	1999	DBLP DOI BibTeX RDF
23	Grigore Rosu	A Birkhoff-like Axiomatizability Result for Hidden Algebra and Coalgebra.	CMCS	1998	DBLP DOI BibTeX RDF
23	Davide Sangiorgi	On the Foundations of Final Coalgebra Semantics: Non-Well-Founded Sets, Partial Orders, Metric Spaces.	Math. Struct. Comput. Sci.	1998	DBLP BibTeX RDF
23	Daniele Turi, Jan J. M. M. Rutten	On the Foundations of Final Coalgebra Semantics.	Math. Struct. Comput. Sci.	1998	DBLP BibTeX RDF
23	Corina Cîrstea	Coalgebra semantics for hidden algebra: Parameterised objects an inheritance.	WADT	1997	DBLP DOI BibTeX RDF
23	Lawrence C. Paulson	A Concrete Final Coalgebra Theorem for ZF Set Theory.	CoRR	1995	DBLP BibTeX RDF