Title | ||
---|---|---|
Abstraction and Refinefent Principles Applied to the Conception of Functionally Distributed Systems |
Abstract | ||
---|---|---|
This paper deals with the construction of functionaly distributed computing systems by stepwise refinement. We implemented some new connection mechanisms between “units”, defined as being both modules and processes. Units exchange messages through a general communication mechanism supported by the WAIT/SEND instructions and using transition automaton. Our model can be used for the development of systems which have to be distributed on several physical machines and for the evaluation of such systems. |
Year | DOI | Venue |
---|---|---|
1980 | 10.1007/978-3-642-67838-7_7 | GI Jahrestagung |
Keywords | Field | DocType |
refinefent principles applied,distributed system | Abstraction,Computer science,Automaton,Top-down and bottom-up design,Distributed computing | Conference |
ISBN | Citations | PageRank |
3-540-10388-0 | 0 | 0.34 |
References | Authors | |
1 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Alain Tarabout | 1 | 0 | 0.34 |
Bernard Maillot | 2 | 0 | 0.34 |
Irène Vatton | 3 | 99 | 15.99 |