@inproceedings{ecdcde61d5834c56b6cf8a45c9e18185,
title = "SystemCSP - Visual Notation",
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. Keywords. CSP, Formal methods, Graphical modeling",
keywords = "EWI-6999, IR-63448, METIS-238197",
author = "B. Orlic and Broenink, {Johannes F.}",
year = "2006",
month = sep,
day = "17",
language = "Undefined",
isbn = "1-58603-671-8",
series = "Concurrent Systems Engineering Series",
publisher = "IOS",
number = "2",
pages = "151--177",
editor = "P.H. Welch and J. Kerridge and F.R.M. Barnes",
booktitle = "Communicationg Process Architectures 2006",
address = "Netherlands",
note = "Communicationg Process Architectures 2006 ; Conference date: 17-09-2006 Through 20-09-2006",
}