Verwandte Artikel zu History Monoid: Computer science, Mathematics, String...

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

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

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.