Eine Methode zur formalen Modellierung von ...
Eine Methode zur formalen Modellierung von ...
Eine Methode zur formalen Modellierung von ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
LITERATURVERZEICHNIS 193<br />
[Slo97]<br />
O. Slotosch. Renements in Holcf: Implementation of Interactive Systems.<br />
Dissertation, Technische Universitat Munchen, 1997.<br />
[Spi94] K. Spies. Funktionale Spezikation eines Kommunikationsprotokolls. SFB-<br />
Bericht 342/08/94 A, Technische Universitat Munchen, 1994.<br />
[Spi95]<br />
[Spi97a]<br />
P.P. Spies. Vorlesung: Betriebssysteme, 1995. Vorlesungsskript.<br />
P.P. Spies. Vorlesung: Einfuhrung in die Informatik IV { Kapitel 5: Betriebssysteme,<br />
1997. Vorlesungsskript.<br />
[Spi97b] P.P. Spies. Vorlesung: Zentrale und verteilte Betriebssysteme, 1997. Vorlesungsskript.<br />
[Spi98] P.P. Spies. Betriebssysteme: <strong>Modellierung</strong> und Realisierungen. Oldenbourg<br />
Verlag, 1998. In Vorbereitung.<br />
[SS95] B. Schatz und K. Spies. Formale Syntax <strong>zur</strong> logischen Kernsprache der<br />
Focus-Entwicklungsmethodik. SFB-Bericht 342/16/95 A, Technische Universitat<br />
Munchen, 1995.<br />
[Sta91]<br />
[Sta92]<br />
[Sto86]<br />
[St96]<br />
[Tan90]<br />
M.G. Staskauskas. An Exercise in Verifying Concurrent Programs in Industry:<br />
The I/O Subsystem. in Proc. Tenth Intl. Phoenix Conf. on Computers and<br />
Communications, 1991, S. 325{331.<br />
W. Stallings. Operating Systems. Maxwell Macmillan International Editions,<br />
1992.<br />
W. Stoye. Message-based Functional Operating System. Science of Computer<br />
Programming 6 (1986), 291{311.<br />
K. Stlen. Using Relations on Streams to Solve the RPC-Memory Specication<br />
Problem. in [BMS96a], Lecture Notes of Computer Science Bd. 1169. Springer<br />
1996, S. 447{520.<br />
A.S. Tanenbaum. Betriebssysteme { Entwurf und Realisierung Teil 1. Hanser,<br />
1990.<br />
[Tan92] A.S. Tanenbaum. Modern Operating Systems. Prentice-Hall, 1992.<br />
[Tan94] A.S. Tanenbaum. Moderne Betriebssysteme. Hanser, 1994.<br />
[TB93]<br />
[Tho89]<br />
[Web92]<br />
C.J. Theaker und G.R. Bookes. Concepts of Operating Systems. MacMillan<br />
Press, 1993.<br />
B. Thomsen. A Calculus of Higher Order Communicating Systems. in Proc.<br />
POPL'89, Austin, Texas 1989, S. 143{154.<br />
R. Weber. <strong>Eine</strong> Methodik fur die formale Anforderungsspezikation verteilter<br />
Systeme. SFB-Bericht 342/14/92 A, Technische Universitat Munchen, 1992.
Change language