@inproceedings{768983b88c65478aabd1ab5b85d95384,
title = "Using explicit state to describe architectures",
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.",
keywords = "Private Action, Label System Transition, Shared Action, Communicate Sequential Process, Configuration Diagram",
author = "A Lopes and Fiadeiro, {J L}",
year = "1999",
doi = "10.1007/978-3-540-49020-3_10",
language = "English",
isbn = "9783540657187",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
pages = "144--160",
editor = "JP. Finance",
booktitle = "FASE 1999",
address = "Germany",
note = "Fundamental Approaches to Software Engineering, 2nd International Conference : FASE 1999 ; Conference date: 22-03-1999 Through 28-03-1999",
}