Eine Methode zur formalen Modellierung von ...
Eine Methode zur formalen Modellierung von ...
Eine Methode zur formalen Modellierung von ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
190 LITERATURVERZEICHNIS<br />
[Bre97] M. Breitling. Formalizing an Verifying TimeWarp with FOCUS. SFB-<br />
Bericht 342/27/97 A, Technische Universitat Munchen, 1997.<br />
[Bro87]<br />
M. Broy. Semantics of Finite and Innite Networks of Concurrent Communicating<br />
Agents. Distributed Computating 2 (1) (1987), 13{31.<br />
[Bro92a] M. Broy. Compositional Renement of Interactive Systems. Technical Report<br />
89, Digital Systems Research Center, Pallo Alto, California 94301 1992.<br />
[Bro92b] M. Broy. (Inter)-Action Renement: The Easy Way - Compositional renement<br />
of interactive systems. Technical Report 10, International Summer<br />
School, Marktoberdorf 1992. Also appears in the corresponding proceedings.<br />
[Bro94]<br />
[Bro95a]<br />
M. Broy. A Functional Rephrasing of the Assumption/Commitment Specication<br />
Style. SFB-Bericht 342/10/94 A, Technische Universitat Munchen, 1994.<br />
M. Broy. Equations for Describing Dynamic Nets of Communicating Systems<br />
. in A. Tarlecki E. Astesiano, G. Reggio (Hrsg.), Recent Trends in Data Types<br />
Specication, 10th Workshop on Specication of Abstract Data Types joint with<br />
the 5th COMPASS Workshop, Lecture Notes of Computer Science Bd. 906.<br />
Springer 1995, S. 170{187.<br />
[Bro95b] M. Broy. A Functional Specication of the Alpha AXPTM Shared Memory<br />
Model. SRC Research Report 136, DIGITAL Systems Research Center, 1995.<br />
[Bro96]<br />
[Bro97]<br />
[BS98]<br />
[CD73]<br />
[CM88]<br />
[Den95]<br />
M. Broy. A Functional Solution to the RPC-Memory Specication Problem.<br />
in [BMS96a], Lecture Notes in Computer Science Bd. 1169. Springer 1996,<br />
S. 183{212.<br />
M. Broy. Renement of Time. in Proceedings of Fourth AMAST Workshop on<br />
Real-Time Systems, Concurrent, and (ARTS'97), Lecture Notes in Computer<br />
Science, Springer, Palma de Mallorca 1997. to appear.<br />
M. Broy und K. Stlen. FOCUS on System Development { A Method for the<br />
Development of Interactive Systems, 1998. Manuskript.<br />
E.G. Coman und P.J. Denning. Operating Systems Theorie. Prentice-Hall,<br />
1973.<br />
K.M. Chandy und J. Misra. Parallel Program Design: A Foundation. Addison<br />
Wesley, 1988.<br />
C. Dendorfer. Methodik funktionaler Systementwicklung. Dissertation, Technische<br />
Universitat Munchen, 1995.<br />
[Fin88] R.A. Finkel. An Operating Systems Vade Mecum. Prentice Hall, 1988.<br />
[FS93]<br />
M. Fuchs und K. Stlen. Development of a Distributed Min/Max Component.<br />
SFB-Bericht 342/18/93 A, Technische Universitat Munchen, 1993.
Change language