Edinburgh Research Archive >
Informatics, School of >
Informatics Publications >
Please use this identifier to cite or link to this item:
|Title: ||A Logical View of Composition|
|Authors: ||Abadi, Martin|
|Issue Date: ||5-Nov-2003|
|Abstract: ||We define two logics of safety specifications for reactive systems.
The logics provide a setting for the study of composition rules. The
two logics arise naturally from extant specification approaches; one of
the logics is intuitionistic, while the other one is linear.|
|Keywords: ||Laboratory for Foundations of Computer Science|
|Appears in Collections:||Informatics Publications|
Items in ERA are protected by copyright, with all rights reserved, unless otherwise indicated.