Modelling Real-time Systems with Bigraphs

Open in new window