![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Theoretical Computer Science, Volume 280
Volume 280, Number 1-2, May 2002
- Bart Jacobs, Jan J. M. M. Rutten:
Coalgebraic Methods in Computer Science - Foreword. 1 - Uwe Wolter:
CSP, partial automata, and coalgebras. 3-34 - Corina Cîrstea:
A coalgebraic equational approach to specifying observational structures. 35-68 - Alexander Kurz
, Rolf Hennicker:
On institutions for modular coalgebraic specifications. 69-103 - Dusko Pavlovic, Vaughan R. Pratt:
The continuum as a final coalgebra. 105-122 - Slawomir Lasota
:
Coalgebra morphisms subsume open maps. 123-135 - John Power
, Hiroshi Watanabe
:
Combining a monad and a comonad. 137-162 - Andrea Corradini
, Reiko Heckel, Ugo Montanari:
Compositional SOS and beyond: a coalgebraic view of open systems. 163-192
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.