Edinburgh Research Archive

Context-dependent bisimulation between processes

Files

Larsen1986.pdf (2.39 MB)

Item Status

Embargo End Date

Date

1986

Authors

Abstract

URI

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

This item appears in the following Collection(s)

Informatics thesis and dissertation collection