Constructive Alignment for Teaching Model-Based Design for Concurrency

Claus Brabrand. Constructive Alignment for Teaching Model-Based Design for Concurrency. T. Petri Nets and Other Models of Concurrency, 1:1-18, 2008. [doi]

Abstract

Abstract is missing.