1. Some New Directions for ACP Research
- Author
-
van Delft, Andre
- Subjects
Computer Science - Logic in Computer Science ,68Q85 ,D.1.3 ,D.3.1 ,D.3.2 ,F.1.2 ,F.4.2 ,F.4.3 - Abstract
This paper lists some new directions for research related to the Algebra of Communicating Processes (ACP). Most of these directions have been inspired by work on SubScript, an ACP based extension to the programming language Scala. SubScript applies several new ideas that build on ACP, but currently these lack formal treatment. Some of these new ideas are rather fundamental. E.g. it appears that the theory of ACP may well apply to structures of any kind of items, rather than to just processes. The aim of this list is to raise awareness of the research community about these new ideas; this could help both the research area and the programming language SubScript., Comment: 8 pages, 2 figures
- Published
- 2015