Conferences in DBLP

Conference on Algebra and Coalgebra in Computer Science (calco)
2009 (conf/calco/2009)

1. 
   Adequacy for Infinitary Algebraic Effects (Abstract). [Citation Graph (, )][DBLP]
   
   
2. 
   Algebras for Parameterised Monads. [Citation Graph (, )][DBLP]
   
   
3. 
   Kleene Monads: Handling Iteration in a Framework of Generic Effects. [Citation Graph (, )][DBLP]
   
   
4. 
   Complete Iterativity for Algebras with Effects. [Citation Graph (, )][DBLP]
   
   
5. 
   Semantics of Higher-Order Recursion Schemes. [Citation Graph (, )][DBLP]
   
   
6. 
   Coalgebraic Components in a Many-Sorted Microcosm. [Citation Graph (, )][DBLP]
   
   
7. 
   Complementation of Coalgebra Automata. [Citation Graph (, )][DBLP]
   
   
8. 
   Characterising Behavioural Equivalence: Three Sides of One Coin. [Citation Graph (, )][DBLP]
   
   
9. 
   Let's See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract). [Citation Graph (, )][DBLP]
   
   
10. 
    Circular Coinduction: A Proof Theoretical Foundation. [Citation Graph (, )][DBLP]
    
    
11. 
    Approximating Labelled Markov Processes Again! [Citation Graph (, )][DBLP]
    
    
12. 
    Weak Bisimilarity Coalgebraically. [Citation Graph (, )][DBLP]
    
    
13. 
    Coalgebraic Symbolic Semantics. [Citation Graph (, )][DBLP]
    
    
14. 
    Relating Coalgebraic Notions of Bisimulation. [Citation Graph (, )][DBLP]
    
    
15. 
    Traces, Executions and Schedulers, Coalgebraically. [Citation Graph (, )][DBLP]
    
    
16. 
    Non-strongly Stable Orders Also Define Interesting Simulation Relations. [Citation Graph (, )][DBLP]
    
    
17. 
    Stone Duality and the Recognisable Languages over an Algebra. [Citation Graph (, )][DBLP]
    
    
18. 
    Free Heyting Algebras: Revisited. [Citation Graph (, )][DBLP]
    
    
19. 
    Distributive Lattice-Structured Ontologies. [Citation Graph (, )][DBLP]
    
    
20. 
    A Duality Theorem for Real C^* Algebras. [Citation Graph (, )][DBLP]
    
    
21. 
    Conway Games, Coalgebraically. [Citation Graph (, )][DBLP]
    
    
22. 
    A Semantical Approach to Equilibria and Rationality. [Citation Graph (, )][DBLP]
    
    
23. 
    Van Kampen Colimits as Bicolimits in Span. [Citation Graph (, )][DBLP]
    
    
24. 
    Unfolding Grammars in Adhesive Categories. [Citation Graph (, )][DBLP]
    
    
25. 
    Views on Behaviour Protocols and Their Semantic Foundation. [Citation Graph (, )][DBLP]
    
    
26. 
    Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. [Citation Graph (, )][DBLP]
    
    
27. 
    Constructor-Based Institutions. [Citation Graph (, )][DBLP]
    
    
28. 
    DBtk: A Toolkit for Directed Bigraphs. [Citation Graph (, )][DBLP]
    
    
29. 
    Constraint-Muse: A Soft-Constraint Based System for Music Therapy. [Citation Graph (, )][DBLP]
    
    
30. 
    CIRC: A Behavioral Verification Tool Based on Circular Coinduction. [Citation Graph (, )][DBLP]
    
    
31. 
    The Priced-Timed Maude Tool. [Citation Graph (, )][DBLP]
    
    
32. 
    A Tool Proving Well-Definedness of Streams Using Termination Tools. [Citation Graph (, )][DBLP]