Search results for "CALCO"

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

Publications at "CALCO"( http://dblp.L3S.de/Venues/CALCO )