Communicating Process Architectures
August 23, 2018
Pictures of the presentations, the fringes as well as the award winners.
August 20, 2018
CPA 2018 in Dresden as started at the Faculty of Computer science. This is our 40th anniversary conference.
October 14, 2017
We are happy to announce that the 40th anniversary conference will be held in late august of 2018 in Dresden at the Technical University.
August 23, 2017
Congratulations to Uwe Mielke (Best Fringe Presentation), Antoon Boode (Best Student Paper), and Kevin Chalmers (Best Paper).
occam-π and KRoC are the result of on-going research extending the (CSP) ideas of occam by judicious inclusion of the mobility features of the π-calculus. In the interests of proveability, we have been careful to preserve the distinction between the original simple static point-to-point synchronised communication of occam and the dynamic asynchronous multiplexed communication of the π-calculus; in this we have been prepared to sacrifice the elegant sparsity of the π-calculus. We conjecture that the extra complexity (and discipline) introduced will make the task of proving concurrent and distributed programs easier.Go to GitHub Repository