Edinburgh Research Archive

Coalgebraic modelling of timed processes

Abstract

This item appears in the following Collection(s)