@inproceedings{2f07c47e11e74907b83f1b2d51a9dffc,
title = "CSP and real-time: Reality or illusion?",
abstract = "This paper deals with the applicability of CSP in general and SystemCSP, as a notation and design methodology based on CSP, in particular in the application area of real-time systems. The paper extends SystemCSP by introducing time-related operators as a way to specify time properties. Since SystemCSP aims to be used in practice of real-time systems development, achieving real-time in practice is also addressed. The mismatch between the classical scheduling theories and CSP paradigm is explored. Some practical ways to deal with this mismatch are presented.",
author = "B. Orlic and J.F. Broenink",
year = "2007",
language = "English",
isbn = "978-1-58603-767-3",
series = "Concurrent Systems Engineering Series",
publisher = "IOS Press",
pages = "119--147",
editor = "A.A. McEwan and S.A. Schneider and W. Ifill and P.H. Welch",
booktitle = "The 30th Communicating Process Architectures Conference (CPA 2007, Guildford, UK, July 8-11, 2007)",
address = "Netherlands",
}