The development of software systems is a complex process involving a variety of individual tasks, collaborative work, and lifecycle management of the resulting products and produc...
Klaus R. Dittrich, Dimitris Tombros, Andreas Geppe...
: Within software development, wikis are currently mainly used for brainstorming and documentation purposes or error management and project coordination. This article describes fou...
In this paper we propose a metric for finite processes in a probabilistic extension of CSP. The kernel of the metric corresponds to trace equivalence and most of the operators in...
The industry-wide demand for rapid development in concert with greater process maturity has seen many software development firms adopt tightly structured iterative processes. Whi...
The branching bisimulation de ned by Van Glabbeek and Weijland takes care of preserving the branching structure of processes even though silent actions are taken. Branching bisimu...