
We are presenting a formal specification-based approach to heterogeneous distributed parallel programming. A specification language is used to describe system behaviors. The specification is then analyzed to create a multiparty interaction interface description describing the properties of the multiparty interactions among processes. Our language mapping approach allows a multiparty interaction interface description automatically created in any target programming language. Developers can then write a program in the target language to include the description for execution. A familiar programming model is provided to support implicit communication, concurrency, synchronization, and parallelism in systems through an implicit coordination-oriented approach. In other words, developers do not have to explicitly express communication, concurrency, synchronization, and parallelism when they are developing heterogeneous distributed and parallel systems.
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
