Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4951453 | Journal of Logical and Algebraic Methods in Programming | 2017 | 27 Pages |
Abstract
The development is performed for programs written in a concurrent language with synchronous communication and separate data domains.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Hanne Riis Nielson, Flemming Nielson,