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.
192 LITERATURVERZEICHNIS<br />
[HS97] U. Hinkel und K. Spies. Spezikationsmethodik fur mobile, dynamische<br />
FOCUS-Netze. in Adam Wolisz, Axel Rennoch und Ina Schieferdecker (Hrsg.),<br />
Formale Beschreibungstechniken fur verteilte Systeme, GMD - Studien (ISSN<br />
0170-8120). GMD - Forschungszentrum Informationstechnik, Sankt Augustin<br />
1997, S. 251{261.<br />
[HSE97] F. Huber, B. Schatz und G. <strong>Eine</strong>rt. Consistent Graphical Specication of<br />
Distributed Systems. in Cli B. Jones Peter Lucas, John Fitzgerald (Hrsg.),<br />
FME'97: Industrial Benet and Advances in Formal Methods, Lecture Notes<br />
in Computer Science Bd. 1313. Springer 1997, S. 122{141.<br />
[HSS96] F. Huber, B. Schatz und K. Spies. AutoFocus - Ein Werkzeugkonzept <strong>zur</strong><br />
Beschreibung verteilter Systeme. in Ulrich Herzog Holger Hermanns (Hrsg.),<br />
Formale Beschreibungstechniken fur verteilte Systeme. Universitat Erlangen-<br />
Nurnberg 1996, S. 165{174. Erschienen in: Arbeitsbereichte des Insituts fur<br />
mathematische Maschinen und Datenverarbeitung, Bd.29, Nr.9.<br />
[Int96]<br />
International Telecommunication Union, Geneva. Message Sequence Charts,<br />
1996. ITU-T Recommendation Z.120.<br />
[IT93] ITU-T. Recommendation Z.100, Specication and Description Language<br />
(SDL). ITU, 1993.<br />
[JS89]<br />
S.B. Jones und A.F. Sinclair. Functional Programming and Operating Systems.<br />
The Computer Journal 32, No.2 (1989), 162{174.<br />
[Kah74] G. Kahn. The Semantics of a Simple Language for Parallel Programming.<br />
Information Processing (1974), 471 { 475.<br />
[Lam94]<br />
[MOO87]<br />
L. Lamport. The Temporal Logic of Actions. ACM TRansactions on Programming<br />
Languages and Systems 16 (1994) 3, 872{923.<br />
M. Maekawa, A.E. Oldehoeft und R.R. Oldehoeft. Operating Systems { Advanced<br />
Concepts. The Benjamin/Cummings Publishing Company, 1987.<br />
[MPW92a] R. Milner, J. Parrow und D. Walker. A calculus of mobile processes, part I.<br />
Information and Computation 100 (1992), 1{40.<br />
[MPW92b] R. Milner, J. Parrow und D. Walker. A calculus of mobile processes, part II.<br />
Information and Computation 100 (1992), 41{77.<br />
[Ohe95]<br />
D. <strong>von</strong> Oheimb. Datentypspezikationen in Higher-Order LCF. Diplomarbeit,<br />
Technische Universitat Munchen, 1995.<br />
[PS85] J.L. Peterson und A. Silberschatz. Operating System Concepts. Addison-<br />
Wesley, 1985.<br />
[San96]<br />
R. Sandner. Unterstutzung <strong>von</strong> Strukturverfeinerungen in FOCUS durch Isabelle<br />
- Verikation einer Fertigungszelle. Diplomarbeit, Technische Universitat<br />
Munchen, 1996.