@inproceedings{DBLP:conf/fossacs/KrsticLP01,
author = {Sava Krstic and
John Launchbury and
Dusko Pavlovic},
title = {Categories of Processes Enriched in Final Coalgebras},
booktitle = {FoSSaCS},
year = {2001},
pages = {303-317},
ee = {http://dx.doi.org/10.1007/3-540-45315-6_20},
crossref = {DBLP:conf/fossacs/2001},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/fossacs/2001,
editor = {Furio Honsell and
Marino Miculan},
title = {Foundations of Software Science and Computation Structures,
4th International Conference, FOSSACS 2001 Held as Part
of the Joint European Conferences on Theory and Practice
of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001,
Proceedings},
booktitle = {FoSSaCS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2030},
year = {2001},
isbn = {3-540-41864-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-09 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
