Eine Methode zur formalen Modellierung von ...

Literaturverzeichnis
[AMST92] G. Agha, I. A. Mason, S. F. Smith und C. L. Talcott. Towards a Theory of
Actor Computation. in The Third International Conference on Concurrency
Theory (CONCUR '92), Lecture Notes in Computer Science Bd. 630. Springer
1992, S. 565{579.
[BA81]
[BD91]
[BDD + 92]
[BDD + 93]
[BHL + 96]
J.D. Brock und W.B. Ackermann. Scenarios: A Model of Nondeterministic
Computation. Foundations of Programming Concepts (1981), 252{259.
M. Broy und C. Dendorfer. Functional Modelling of Operating System Structures
by Timed Higher Order Stream Processing Functions (revised version).
SFB-Bericht 342/22/90 A, Technische Universitat Munchen, 1991.
M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T. F. Gritzner und R. Weber.
The Design of Distributed Systems | An Introduction to Focus. SFB-Bericht
342/2/92 A, Technische Universitat Munchen, 1992.
M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T. F. Gritzner und R. Weber.
The Design of Distributed Systems { An Introduction to Focus. SFB-Bericht
Nr. 342/2-2/92 A, Technische Universitat Munchen, 1993.
J. P. Bowen, C. A. R. Hoare, H. Langmaack, E.-R. Olderog und A. P. Ravn. A
ProCoS II Project Final Report: ESPRIT Basic Research Project 7071. Bulletin
of the European Association for Theoretical Computer Science (EATCS)
59 (Juni 1996).
[BHS96] M. Broy, H. Humann und B. Schatz. Formal Development of Consistent
System Specications. in Marie-Claude Gaudel und James Woodcock (Hrsg.),
FME'96: Industrial Benet and Advances in Formal Methods, Lecture Notes
in Computer Science Bd. 1051. Springer 1996, S. 248{267.
[BMS96a] M. Broy, S. Merz und K. Spies (Hrsg.). Formal Systems Specication {
The RPC-Memory Specication Case Study, Lecture Notes in Computer
Science Bd. 1169. Springer 1996.
[BMS96b]
M. Broy, S. Merz und K. Spies. The RPC-Memory Specication Problem: A
Synopsis. in [BMS96a], Lecture Notes in Computer Science 1169. Springer
1996, S. 5{20.