Publications

Components as Coalgebras: The Refinement Dimension

AuthID
P-004-N7V

Author(s)

Meng, S

Barbosa, LS

Editor(s)

Maharaj S.Shankland C.Rattray C.

Document Type

Article

Year published

2006

Published

in THEORETICAL COMPUTER SCIENCE, ISSN: 0304-3975

Volume: 351, Issue: 2, Pages: 276-294 (19)

Conference

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

Indexing