Skip to main content

Research Repository

Advanced Search

All Outputs (1)

Alting barriers: synchronisation with choice in Java using JCSP (2010)
Journal Article
Welch, P., Brown, N., Moores, J., Chalmers, K., & Sputh, B. (2010). Alting barriers: synchronisation with choice in Java using JCSP. Concurrency and Computation: Practice and Experience, 22(8), 1049-1062. https://doi.org/10.1002/cpe.1471

Communicating Sequential Processes for Java (JCSP) is a mature library that implements CSP-derived concurrency primitives in Java. A JCSP system is a hierarchical network of autonomous processes communicating over synchronous (optionally buffered) ch... Read More about Alting barriers: synchronisation with choice in Java using JCSP.