Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6875208 | Science of Computer Programming | 2018 | 39 Pages |
Abstract
In this paper, we report on an extensive performance comparison between these approaches for a substantial number of protocols, expressed in Reo. Because we have always formulated our compilation technology in terms of a general kind of communicating automaton (i.e., constraint automata), our findings apply not only to Reo but, in principle, to any language whose semantics can be defined in terms of such automata.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
S.-S.T.Q. Jongmans, F. Arbab,