Coalgebraic methods in computer science, CMCS '98. Proceedings of the 1st workshop, Lisbon, Portugal, March 28--29, 1998
type: Item
instance of: scholarly article
title: Coalgebraic methods in computer science, CMCS '98. Proceedings of the 1st workshop, Lisbon, Portugal, March 28--29, 1998
zbMATH Open document ID: 0903.00067
published in: Electronic Notes in Theoretical Computer Science
publication date: 1998-12-08T00:00:00Z
review text: The articles of this volume will be reviewed individually. Indexed articles: \textit{Caspi, Paul; Pouzet, Marc}, A co-iterative characterization of synchronous stream functions, electronic paper No. 2 [Zbl 0917.68046] \textit{Corradini, Andrea; Große-Rhode, Martin; Heckel, Reiko}, Structured transition systems as lax coalgebras, electronic paper No. 3 [Zbl 0917.68072] \textit{Gumm, H. Peter; Schröder, Tobias}, Covarieties and complete covarieties, electronic paper No. 4 [Zbl 0917.68068] \textit{Kurz, Alexander}, Specifying coalgebras with modal logic, electronic paper No. 5 [Zbl 0917.68134] \textit{Monteiro, Luís}, Semantic domains based on sets with families of equivalances, electronic paper No. 6 [Zbl 0917.68132] \textit{Pardo, Alberto}, Monadic corecursion -- definition, fusion laws, and applications, electronic paper No. 7 [Zbl 0917.68025] \textit{Pavlovic, Dusko}, Guarded induction on final coalgebras, electronic paper No. 8 [Zbl 0917.68130] \textit{Power, John; Watanabe, Hiroshi}, An axiomatics for categories of coalgebras, electronic paper No. 9 [Zbl 0917.68124] \textit{Rosu, Grigore}, A Birkhoff-like axiomatizability result for hidden algebra and coalgebra, electronic paper No. 10 [Zbl 0917.68144] \textit{Schamschurko, Dmitri}, Modeling process calculi with PVS, electronic paper No. 11 [Zbl 0917.68145] \textit{Worrell, James}, Toposes of coalgebras and hidden algebras, electronic paper No. 12 [Zbl 0917.68136] \textit{Jacobs, Bart}, Coalgebraic reasoning about classes in object-oriented languages, electronic paper No. 13 [Zbl 0917.68127] \textit{Reichel, Horst}, Dialgebras logics. (Extended abstract), electronic paper No. 14 [Zbl 0917.03015] \textit{Rutten, J. J. M. M.}, Relators and metric bisimulations, electronic paper No. 15 [Zbl 0917.68146]
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 1231228
zbMATH Keywords: Lisbon (Portugal)
zbMATH Keywords: Workshop
zbMATH Keywords: Proceedings
zbMATH Keywords: Coalgebraic methods
zbMATH Keywords: Computer science
zbMATH Keywords: CMCS '98
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1231228