Hochschulschrift
Development of communication protocols with algebraic temporal specifications
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
21 cm
- Extent
-
103 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Berlin, Techn. Univ., Diss., 1996
- Keyword
-
Kommunikationsprotokoll
Algebraische Spezifikation
Temporale Logik
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:10 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
Other Objects (12)
Development of communication protocols by composing and refining temporal specifications
Specifying communication protocols with temporal logic
Attributed algebraic specifications
Attributed algebraic specifications
Attributed algebraic specifications
Parameterized algebraic protocols
Nondeterminism in algebraic specifications and algebraic programs
Deriving object-oriented specifications from algebraic specifications through refinement
Structured algebraic specifications : a kernel language
Initial computability, algebraic specifications, and partial algebras
Algebraic specifications in software engineering : an introduction
Algebraic domain equations for specifications containing inequational axioms
Development of communication protocols by composing and refining temporal specifications
Specifying communication protocols with temporal logic
Attributed algebraic specifications
Attributed algebraic specifications
Attributed algebraic specifications
Parameterized algebraic protocols
Nondeterminism in algebraic specifications and algebraic programs
Deriving object-oriented specifications from algebraic specifications through refinement
Structured algebraic specifications : a kernel language
Initial computability, algebraic specifications, and partial algebras
Algebraic specifications in software engineering : an introduction
Algebraic domain equations for specifications containing inequational axioms
Development of communication protocols by composing and refining temporal specifications
Specifying communication protocols with temporal logic
Attributed algebraic specifications
Attributed algebraic specifications
Attributed algebraic specifications
Parameterized algebraic protocols
Nondeterminism in algebraic specifications and algebraic programs
Deriving object-oriented specifications from algebraic specifications through refinement
Structured algebraic specifications : a kernel language
Initial computability, algebraic specifications, and partial algebras
Algebraic specifications in software engineering : an introduction