Formal description techniques for distributed systems
distributed systemEstelle specificationsformal description techniquesFormale Beschreibungstechnikenparallel codeprotocolVerteilte Systeme
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)
[The articles of this volume will not be indexed individually.] Table of contents: Toward the integration of formal description techniques with performance evaluation (\textit{E. Heck, B. Müller- Clostermann}), Generating parallel code from Estelle specifications (\textit{B. Hofmann, W. Effelsberg}), CDM -- korrekter Entwurf von Kommunikationssoftware (\textit{J. Freudenmann}), LOTOS design methodology based on ODP-viewpoints (\textit{A. Vogel}), An introduction to compositional methods for concurrency and their application to real-time (\textit{J. J. M. Hooman, W. P. de Roever}), Rapid prototyping von Estelle Spezifikationen (\textit{R. Födisch, H. König}, Formale Konzepte zur Lokalisierung von Funktionen in räumlich verteilten Systemen (\textit{R. Prinoth}), A simple toy example of a distributed system: Oh the design of a connecting switch (\textit{T. F. Gritzner}), Testfallgenerierung aus Petri-Netzen -- Probleme, Konzepte, Systeme (\textit{B. Baumgarten}), Die offene Petrinetz-Methode zur Analyse und Darstellung des funktionalen Verhaltens verteilter Systeme (\textit{H. Dibold}), Differences between Estelle and LOTOS descriptions of a protocol (\textit{J. Grobholz, R. L. Tenney}).
- Towards formal specification of a distributed computing system
- scientific article; zbMATH DE number 3868587
- A formal approach to the engineering of domain-specific distributed systems
- Formal model-driven design of distributed algorithms
- Specification styles in distributed systems design and verification
- scientific article; zbMATH DE number 4076681
- Specification styles in distributed systems design and verification
- Formal description techniques and protocol specification, testing and verification. FORTE XI/ PSTV XVIII '98. IFIP TC6 WG6. 1 joint international conference on Formal description techniques for distributed systems and communication protocols (FORTE XI) and protocol specification, testing and verification (PSTV XVIII), Paris, France, November 3--6, 1998
- scientific article; zbMATH DE number 5949231 (Why is no real title available?)
- Some Comments on "Transition-Oriented" Versus "Structured" Specification of Distributed Algorithms and Protocols
- scientific article; zbMATH DE number 810106 (Why is no real title available?)
This page was built for publication: Formal description techniques for distributed systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4023311)
