@inproceedings{6c4d75907fd241ab90a45912f266726f,
title = "Tools and Patterns for Dependable Concurrent Software",
abstract = "First, we give reasons for choosing a process-oriented approach for building complex concurrent systems. Upon a brief review of dependability attributes of software-supported systems, means for increasing dependability in process-oriented architectures are illustrated",
keywords = "METIS-226472, Dependability, IR-53549, EWI-19764, concurrent exception handling, formal analysis, design patterns and tools, CSP",
author = "D.S. Jovanovic and Broenink, {Johannes F.}",
note = "This research is supported by PROGRESS, the embedded system research program of the Dutch organization for Scientific Research NWO, the Dutch Ministry of Economic Affairs and the Technology Foundation STW.; EUROCON 2005 - the International Conference on {"}Computer as a Tool{"} ; Conference date: 21-11-2005 Through 24-11-2005",
year = "2005",
month = nov,
day = "21",
doi = "10.1109/EURCON.2005.1630036",
language = "Undefined",
isbn = "1-4244-0049-X",
publisher = "IEEE",
number = "05EX1255C",
pages = "736--739",
booktitle = "The International Conference on Computer as a Tool, EUROCON 2005",
address = "United States",
}