Sampson, A.T. (2008) Process-Oriented Patterns for Concurrent Software Engineering. Ph.D. Thesis, University of Kent, ... several examples are developed. Though a mathematical proof, the proposed idea ...