Abstract
In order to achieve higher levels of abstraction in architectural design, we investigate extensions to parallel program design based on the use of explicit state variables to accommodate the action-based discipline of interaction that is typical of architecture description languages. Our study focus on primitives that support non-determinism, choice and fairness in guarded-command based languages, and on refinement principles that are compositional with respect to interconnection.
Cite
CITATION STYLE
Lopes, A., & Fiadeiro, J. L. (1999). Using explicit state to describe architectures. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1577, pp. 144–160). Springer Verlag. https://doi.org/10.1007/978-3-540-49020-3_10
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
