Edinburgh Research Archive

Bisimulations for concurrency

Abstract

This item appears in the following Collection(s)