Publicações

Components as Coalgebras: The Refinement Dimension

AuthID
P-004-N7V

Author(s)

Meng, S

Barbosa, LS

Editor(es)

Maharaj S.Shankland C.Rattray C.

Tipo de Documento

Article

Year published

2006

Publicado

in THEORETICAL COMPUTER SCIENCE, ISSN: 0304-3975

Volume: 351, Número: 2, Páginas: 276-294 (19)

Conference

10Th International Conference on Algebraic Methodology and Software Technology, Date: JUL 12-16, 2004, Location: Stirling, SCOTLAND, Patrocinadores: Edinburgh Mat Soc, Engn & Phys Sci Res Council, British Comp Soc, Formal Aspects Comp Sci Specialist Grp, London Math Soc

Indexing