Edinburgh Research Archive

Annotated transition systems for verifying concurrent programs

Files

Paczkowski1990.Pdf (5.31 MB)

Item Status

Embargo End Date

Date

1990

Authors

Abstract

URI

http://hdl.handle.net/1842/15567

This item appears in the following Collection(s)

Informatics thesis and dissertation collection