Functional Modelling of Distributed Systems
(inactive)
| Start date: | 01.01.1990 |
| End date: | 31.12.1992 |
| Duration: | 01.01.1990 - 31.12.1992 |
| Funded by: | Universität Augsburg |
| Local project leader: | Prof. Dr. Bernhard Möller (project leader) |
| External scientists / cooperations: |
Prof. Dr. Walter Dosch (ehemals Universität Augsburg) Prof. Dr. Carlos Delgado Kloos (Universidad Carlos III de Madrid) Prof. Dr. Manfred Broy (TU München) |
| Publications: | Publication list |
Abstract
The work aimed at a formal design frame, based on functional description techniques, in which distributed systems can be developed in a systematic fashion. Special attention was paid to circuit derivation.

