Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Mai Gehrke |
Stone Duality and the Recognisable Languages over an Algebra. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Nick Bezhanishvili, Mai Gehrke |
Free Heyting Algebras: Revisited. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Dusko Pavlovic |
A Semantical Approach to Equilibria and Rationality. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Kurz 0001, Marina Lenisa, Andrzej Tarlecki (eds.) |
Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Sergey Goncharov 0001, Lutz Schröder, Till Mossakowski |
Kleene Monads: Handling Iteration in a Framework of Generic Effects. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hans Zantema |
A Tool Proving Well-Definedness of Streams Using Termination Tools. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
1 | Giorgio Bacci, Davide Grohmann, Marino Miculan |
DBtk: A Toolkit for Directed Bigraphs. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Bonchi, Ugo Montanari |
Coalgebraic Symbolic Semantics. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Grigore Rosu, Dorel Lucanu |
Circular Coinduction: A Proof Theoretical Foundation. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Bart Jacobs 0001, Ana Sokolova |
Traces, Executions and Schedulers, Coalgebraically. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
|
1 | Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin |
Approximating Labelled Markov Processes Again! |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Gâinâ, Kokichi Futatsugi, Kazuhiro Ogata 0001 |
Constructor-Based Institutions. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Milius, Thorsten Palm, Daniel Schwencke |
Complete Iterativity for Algebras with Effects. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
iterative algebra, terminal coalgebra, monad, initial algebra, distributive law |
1 | Dorel Lucanu, Eugen-Ioan Goriac, Georgiana Caltais, Grigore Rosu |
CIRC: A Behavioral Verification Tool Based on Circular Coinduction. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Furio Honsell, Marina Lenisa |
Conway Games, Coalgebraically. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
Conway games, coalgebraic games, non-losing strategies |
1 | Gordon D. Plotkin |
Adequacy for Infinitary Algebraic Effects (Abstract). |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ichiro Hasuo, Chris Heunen, Bart Jacobs 0001, Ana Sokolova |
Coalgebraic Components in a Many-Sorted Microcosm. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Sam Staton |
Relating Coalgebraic Notions of Bisimulation. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Popescu 0001 |
Weak Bisimilarity Coalgebraically. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Peter T. Johnstone, Stephen Lack, Pawel Sobocinski 0001 |
Quasitoposes, Quasiadhesive Categories and Artin Glueing. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Johan Glimming |
Parametric (Co)Iteration vs. Primitive Direcursion. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
1 | José Luiz Fiadeiro, Vincent Schmitt |
Structured Co-spans: An Algebra of Interaction Protocols. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
1 | David Aspinall 0001, Piotr Hoffman |
Datatypes in Memory. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Glausch, Wolfgang Reisig |
A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, Wan J. Fokkink, Anna Ingólfsdóttir |
Ready to Preorder: Get Your BCCSP Axiomatization for Free! |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Alessandra Palmigiano, Yde Venema |
Nabla Algebras and Chu Spaces. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
relation lifting, Vietoris hyperspace, Chu space, coalgebra, modal algebra |
1 | Marius Petria |
An Institutional Version of Gödel's Completeness Theorem. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Scott Alexander |
Conceptual Data Modeling with Constraints in Maude. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Helle Hvid Hansen, Clemens Kupke, Eric Pacuit |
Bisimulation for Neighbourhood Structures. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
Neighbourhood semantics, non-normal modal logic, behavioural equivalence, invariance, bisimulation |
1 | Lutz Schröder |
Bootstrapping Types and Cotypes in HasCASL. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
|
1 | 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 |
1 | Dorel Lucanu, Grigore Rosu |
CIRC : A Circular Coinductive Prover. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Radu Mardare |
Observing Distributed Computation. A Dynamic-Epistemic Approach. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Jan J. M. M. Rutten |
Coalgebraic Foundations of Linear Systems. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
|
1 | 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 |
|
1 | Barbara König 0001 |
Deriving Bisimulation Congruences with Borrowed Contexts. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Nick Bezhanishvili, Alexander Kurz 0001 |
Free Modal Algebras: A Coalgebraic Perspective. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
|
1 | Alexander Kurz 0001, Jirí Rosický |
The Goldblatt-Thomason Theorem for Coalgebras. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Neil Ghani, Alexander Kurz 0001 |
Higher Dimensional Trees, Algebraically. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Dexter Kozen, Nicholas Ruozzi |
Applications of Metric Coinduction. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Luís Caires |
Logical Semantics of Types for Concurrency. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Corina Cîrstea, Mehrnoosh Sadrzadeh |
Coalgebraic Epistemic Update Without Change of Model. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Droste, Guo-Qiang Zhang 0001 |
Bifinite Chu Spaces. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
1 | Fabio Gadducci, Alberto Lluch-Lafuente |
Graphical Encoding of a Spatial Logic for the pi -Calculus. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Stephen L. Bloom, Zoltán Ésik |
Regular and Algebraic Words and Ordinals. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
1 | Daniel Hausmann 0001, Till Mossakowski, Lutz Schröder |
Towards a Coalgebraic Semantics of the Ambient Calculus. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Federico De Marchi |
On the Semantics of Coinductive Types in Martin-Löf Type Theory. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
|
1 | 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 |
|
1 | Ernst-Erich Doberkat |
Look: Simple Stochastic Relations Are Just, Well, Simple. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Bartek Klin, Vladimiro Sassone, Pawel Sobocinski 0001 |
Labels from Reductions: Towards a General Theory. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
|
1 | Clemens Kupke, Alexander Kurz 0001, Dirk Pattinson |
Ultrafilter Extensions for Coalgebras. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Prasanna Thati, José Meseguer 0001 |
Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ignacio D. Viglizzo |
Final Sequences and Final Coalgebras for Measurable Spaces. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jan A. Bergstra, Cornelis A. Middelburg |
Strong Splitting Bisimulation Equivalence. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Artur Zawlocki, Grzegorz Marczynski, Piotr Kosiuczenko |
Property Preserving Redesign of Specifications. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jirí Adámek |
Algebra 'cap' Coalgebra = Presheaves. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Miguel Palomino, José Meseguer 0001, Narciso Martí-Oliet |
A Categorical Approach to Simulations. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Gordon D. Plotkin |
Adequacy for Algebraic Effects with State. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Michal Walicki |
Bireachability and Final Multialgebras. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | H. Peter Gumm |
From T-Coalgebras to Filter Structures and Transition Systems. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Popescu 0001, Grigore Rosu |
Behavioral Extensions of Institutions. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Dennis Walter, Lutz Schröder, Till Mossakowski |
Parametrized Exceptions. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | John Power |
Discrete Lawvere Theories. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | 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 |
|
1 | César Sánchez 0001, Henny B. Sipma, Matteo Slanina, Zohar Manna |
Final Semantics for Event-Pattern Reactive Programs. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Milius, Lawrence S. Moss |
The Category Theoretic Solution of Recursive Program Schemes. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Samson Abramsky |
Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ichiro Hasuo, Bart Jacobs 0001 |
Context-Free Languages via Coalgebraic Trace Semantics. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | John G. Mersch |
Equational Logic of Recursive Program Schemes. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Bartek Klin |
The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Grabmayer |
Using Proofs by Coinduction to Find "Traditional" Proofs. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bruni, Ivan Lanese, Ugo Montanari |
Complete Axioms for Stateless Connectors. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|