May 1, 2005
Author(s)
Conrad Bock, Michael Gruninger
Flow models underlie popular programming languages and many graphical behavior specification tools. However, their semantics is typically ambiguous, causing miscommunication between modelers and unexpected implementation results. This article introduces a