Search
 
loader loading subjects...
cover
SystemCSP – Visual Notation
Bojan Orlic, Jan F. Broenink
151 - 177
Concurrent Systems Engineering Series
Volume 64: Communicating Process Architectures 2006
Abstract

This paper introduces SystemCSP – a design methodology based on a visual notation that can be mapped onto CSP expressions. SystemCSP is a graphical design specification language aimed to serve as a basis for the specification of formally verifiable component-based designs of distributed real-time systems. It aims to be a graphical formalism that covers various aspects needed for the design of distributed real-time systems in single framework.

$35.00 / €27.50 / £22.00
Add PDF to cart