History Monoid: Computer science, Mathematics, String (computer science) - Couverture souple

 
9786201347472: History Monoid: Computer science, Mathematics, String (computer science)

Synopsis

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. In mathematics and computer science, a history monoid is a way of representing the histories of concurrently running computer processes as a collection of strings, each string representing the individual history of a process. The history monoid provides a set of synchronization primitives for providing rendezvous points between a set of independently executing processes or threads. History monoids occur in the theory of concurrent computation, and provide a low-level mathematical foundation for process calculi, such as CSP the language of communicating sequential processes, or CCS, the calculus of communicating systems. History monoids were first presented by M.W. Shields.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.