Representation of Synchronization Primitives and Concurrency Algorithms/Systems in a Concurrency Method
01 January 1987
A Concurrency Method, ACM, is an intrinsically concurrent model of computation, which is based on the principles of data drive and single assignment. While many different aspects of ACM have been explored and researched, none have solely involved the modeling of synchronization primitives, classical concurrent algorithms and various other concurrency problems. These aspects a are the purpose of this thesis.