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