Sciweavers

63 search results - page 6 / 13
» Algebras and Coalgebras
Sort
View
ACMMPC
2000
Springer
240views Mathematics» more  ACMMPC 2000»
13 years 12 months ago
Algebras and Coalgebras
Peter Aczel
ENTCS
2010
88views more  ENTCS 2010»
13 years 7 months ago
On Coalgebras over Algebras
Adriana Balan, Alexander Kurz
CALCO
2005
Springer
114views Mathematics» more  CALCO 2005»
14 years 1 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ö...