Journals in DBLP

Electr. Notes Theor. Comput. Sci.
1999, volume: 19, number:

1. Franck van Breugel, Stephen Watson
   A Note on Hyperspaces and Terminal Coalgebras. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1999, v:19, n:, pp:- [Journal]
   
2. Uwe Wolter
   A coalgebraic introduction to CSP. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1999, v:19, n:, pp:- [Journal]
   
3. Peter Wegner, Dina Q. Goldin
   Coinductive Models of Finite Computing Agents. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1999, v:19, n:, pp:- [Journal]
   
4. Martin Rößiger
   Languages for Coalgebras on Datafunctors. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1999, v:19, n:, pp:- [Journal]
   
5. John Power, Hiroshi Watanabe
   Distributivity for a monad and a comonad. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1999, v:19, n:, pp:- [Journal]
   
6. Dusko Pavlovic, Vaughan R. Pratt
   On coalgebra of real numbers. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1999, v:19, n:, pp:- [Journal]
   
7. Dorel Lucanu, Ovidiu Gheorghies, Adriana Apetrei
   Bisimulation and Hidden Algebra. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1999, v:19, n:, pp:- [Journal]
   
8. Marina Lenisa
   From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1999, v:19, n:, pp:- [Journal]
   
9. Slawomir Lasota
   Coalgebra morphisms subsume open maps. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1999, v:19, n:, pp:- [Journal]
   
10. Bart Jacobs, Jan J. M. M. Rutten
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:19, n:, pp:- [Journal]
    
11. Rolf Hennicker, Alexander Kurz
    (Omega, Xi)-Logic: On the Algebraic Extension of Coalgebraic Specifications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:19, n:, pp:- [Journal]
    
12. Andrea Corradini, Reiko Heckel, Ugo Montanari
    From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:19, n:, pp:- [Journal]
    
13. Corina Cîrstea
    A Coequational Approach to Specifying Behaviours. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:19, n:, pp:- [Journal]
    
14. James Worrell
    Terminal sequences for accessible endofunctors. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:19, n:, pp:- [Journal]