Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/18071
Title: Temporal theories as modularisation units for concurrent system specification
Authors: Fiadeiro, J
Maibaum, T
First Published: May-1992
Citation: FORMAL ASPECTS OF COMPUTING, 1992, 4 (3), pp. 239-272
DOI Link: 10.1007/BF01212304
ISSN: 0934-5043
eISSN: 1433-299X
Links: http://hdl.handle.net/2381/18071
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.