Components as Coalgebras: The Refinement Dimension

AuthID
P-004-N7V
2
Author(s)
Meng, S
·
1
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
Publication Identifiers
DBLP: journals/tcs/MengB06
SCOPUS: 2-s2.0-31544449115
Wos: WOS:000235571600010
Source Identifiers
ISSN: 0304-3975
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.