Theoretical Computer Science, Volume 280

Volume 280, Number 1-2, May 2002

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/JacobsR02
- ask others
Bart Jacobs, Jan J. M. M. Rutten: Coalgebraic Methods in Computer Science - Foreword. 1
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Wolter02
- ask others
Uwe Wolter: CSP, partial automata, and coalgebras. 3-34
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Cirstea02
- ask others
Corina Cîrstea: A coalgebraic equational approach to specifying observational structures. 35-68
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/KurzH02
- ask others
Alexander Kurz, Rolf Hennicker: On institutions for modular coalgebraic specifications. 69-103
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/PavlovicP02
- ask others
Dusko Pavlovic, Vaughan R. Pratt: The continuum as a final coalgebra. 105-122
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Lasota02
- ask others
Slawomir Lasota: Coalgebra morphisms subsume open maps. 123-135
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/PowerW02
- ask others
John Power, Hiroshi Watanabe: Combining a monad and a comonad. 137-162
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/CorradiniHM02
- ask others
Andrea Corradini, Reiko Heckel, Ugo Montanari: Compositional SOS and beyond: a coalgebraic view of open systems. 163-192