book-chapter · 2006A course on software engineering for concurrent systems0 citationsDOI: https://doi.org/10.1007/bfb0043593