Communicating concurrent functions
| Authors | |
|---|---|
| Publication date | 2011 |
| Series | Theory of Computer Science electronic report series, TCS1102 |
| Number of pages | 12 |
| Publisher | Amsterdam: University of Amsterda, section Theory of Computer Science |
| Organisations |
|
| Abstract |
In this article we extend the framework of execution of concurrent functions on different abstract levels from previous work with communication between the concurrent functions. We classify the communications and identify problems that can occur with these communications. We present solutions for the problems based on encapsulation and abstraction to obtain correct behaviours. The result is that communication on a low level of abstraction in the form of shared memory and message passing is dealt with on an higher level of abstraction. |
| Document type | Working paper |
| Language | English |
| Published at | http://www.science.uva.nl/pub/programming-research/tcsreports/TCS1102.pdf |
| Permalink to this page | |