@inproceedings{f629447aeb1842d19abcc97fa0a83f10,
title = "Detection of concurrency-related errors in Joyce",
abstract = "EXTENDED PMD is a methodology for detecting communication- and concurrency-related errors in CSP-based languages. A static analysis of the source program is used to build a model which is augmented with dynamic information from a dedicated hardware monitor. These information allow a post-mortem analysis of the program with automatic detection of errors. EXTENDED PMD has been applied to Joyce[1], a semantic variant of CSP based on a subset of common Pascal.",
author = "Arvind, {D. K.} and J. Knight",
year = "1992",
doi = "10.1007/3-540-55895-0_407",
language = "English",
isbn = "978-3-540-47306-0",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "127--132",
editor = "Luc Boug{\'e} and Michel Cosnard and Yves Robert and Denis Trystram",
booktitle = "Parallel Processing: CONPAR 92—VAPP V",
address = "United Kingdom",
}