Component-based semantics (CBS) involves an open-ended library of fundamental programming constructs ('funcons'). A beta-release of a collection of funcons for use in CBS of sequential languages, together with some validated examples, is currently available online [1].
This talk suggest the addition of funcons for threads and processes to the library. These funcons should support the concepts underlying Pthreads and MPI, but abstract from details of efficient implementation and resource management.
The illustrative specifications shown in the talk are tentative, and have not yet been validated.
[1]: https://plancomps.github.io/CBS-beta/