Mathematical model of concurrent computation
A mathematical model is presented in which we can understand and discuss the behaviour of concurrent computing agents such as interconnecting hardware modules, operating system components and parallel programs. It is shown that it is natural to represent computing agents in a "value-passing&quo...
| Main Author: | |
|---|---|
| Published: |
University of Edinburgh
1977
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.657823 |