Sciweavers

63 search results - page 6 / 13
» Algebras and Coalgebras
Sort
View
ACMMPC
2000
Springer
240views Mathematics» more  ACMMPC 2000»
15 years 1 months ago
Algebras and Coalgebras
Peter Aczel
ENTCS
2010
88views more  ENTCS 2010»
14 years 9 months ago
On Coalgebras over Algebras
Adriana Balan, Alexander Kurz
CALCO
2005
Springer
114views Mathematics» more  CALCO 2005»
15 years 3 months ago
Towards a Coalgebraic Semantics of the Ambient Calculus
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...