Coalgebraic methods in computer science, CMCS ’98. Proceedings of the 1st workshop, Lisbon, Portugal, March 28–29, 1998. (English) Zbl 0903.00067

Jacobs, Bart (ed.); Moss, Larry (ed.); Reichel, Horst (ed.); Rutten, Jan (ed.)

Electronic Notes in Theoretical Computer Science. 11. Amsterdam: Elsevier, 258 p. (1998).

Show indexed articles as search result.

The articles of this volume will be reviewed individually.
Indexed articles:
Caspi, Paul; Pouzet, Marc, A co-iterative characterization of synchronous stream functions, electronic paper No. 2 [Zbl 0917.68046]
Corradini, Andrea; Große-Rhode, Martin; Heckel, Reiko, Structured transition systems as lax coalgebras, electronic paper No. 3 [Zbl 0917.68072]
Gumm, H. Peter; Schröder, Tobias, Covarieties and complete covarieties, electronic paper No. 4 [Zbl 0917.68068]
Kurz, Alexander, Specifying coalgebras with modal logic, electronic paper No. 5 [Zbl 0917.68134]
Monteiro, Luís, Semantic domains based on sets with families of equivalances, electronic paper No. 6 [Zbl 0917.68132]
Pardo, Alberto, Monadic corecursion – definition, fusion laws, and applications, electronic paper No. 7 [Zbl 0917.68025]
Pavlovic, Dusko, Guarded induction on final coalgebras, electronic paper No. 8 [Zbl 0917.68130]
Power, John; Watanabe, Hiroshi, An axiomatics for categories of coalgebras, electronic paper No. 9 [Zbl 0917.68124]
Rosu, Grigore, A Birkhoff-like axiomatizability result for hidden algebra and coalgebra, electronic paper No. 10 [Zbl 0917.68144]
Schamschurko, Dmitri, Modeling process calculi with PVS, electronic paper No. 11 [Zbl 0917.68145]
Worrell, James, Toposes of coalgebras and hidden algebras, electronic paper No. 12 [Zbl 0917.68136]
Jacobs, Bart, Coalgebraic reasoning about classes in object-oriented languages, electronic paper No. 13 [Zbl 0917.68127]
Reichel, Horst, Dialgebras logics. (Extended abstract), electronic paper No. 14 [Zbl 0917.03015]
Rutten, J. J. M. M., Relators and metric bisimulations, electronic paper No. 15 [Zbl 0917.68146]

MSC:

00B25	Proceedings of conferences of miscellaneous specific interest
68-06	Proceedings, conferences, collections, etc. pertaining to computer science
68W30	Symbolic computation and algebraic computation

Keywords:

Lisbon (Portugal); Workshop; Proceedings; Coalgebraic methods; Computer science; CMCS ’98