Please use this identifier to cite or link to this item:
Title: Superposition: Composition vs refinement of non-deterministic, action-based systems
Authors: Lopes, A
Fiadeiro, JL
Lopes, A
First Published: Apr-2004
Citation: FORMAL ASPECTS OF COMPUTING, 2004, 16 (1), pp. 5-18
DOI Link: 10.1007/s00165-003-0021-6
ISSN: 0934-5043
Type: Journal Article
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:
There are no files associated with this item.

Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.