- Sprache
-
Englisch
- Anmerkungen
-
Mannheim, Univ., Diss., 2003
- Identifier
-
968328679
- Thema
-
Reaktives System ; Nebenläufigkeit ; Aktion ; Verfeinerung ; Prozessalgebra ; Funktionale Semantik ; Operationale Semantik ; Vollständige Halbordnung ; Terminierung ; Nebenläufigkeit ; Auswahl ; Verfeinerung ; Reaktives System ; Vollständige Halbordnung ; Äquivalenz ; Kongruenz ; Transitionssystem ; Prozessalgebra,; Hochschulschrift; Online-Publikation
- Beteiligte Personen und Organisationen
-
Fecher, Harald
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:55 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Monografie
Beteiligte
- Fecher, Harald
Ähnliche Objekte (12)
On syntactic action refinement and logic
Deduction-based refinement planning
Diffusion-based refinement of optical flow
Refinement-Based Verification of Communicating Unstructured Code
A categorical view of action refinement in models of concurrency
Strategic Choice of Price-Setting Algorithms
Strategic choice of price-setting algorithms
Strategic choice of price-setting algorithms
Tenure-based Wage Setting
Tau-Equivalences and Refinement for Petri Nets Based Design
Formal Specification and Rule-Based Refinement of Software Components
Effective affirmative action in school choice
On syntactic action refinement and logic
Deduction-based refinement planning
Diffusion-based refinement of optical flow
Refinement-Based Verification of Communicating Unstructured Code
A categorical view of action refinement in models of concurrency
Strategic Choice of Price-Setting Algorithms
Strategic choice of price-setting algorithms
Strategic choice of price-setting algorithms
Tenure-based Wage Setting
Tau-Equivalences and Refinement for Petri Nets Based Design
Formal Specification and Rule-Based Refinement of Software Components
Effective affirmative action in school choice
On syntactic action refinement and logic
Deduction-based refinement planning
Diffusion-based refinement of optical flow
Refinement-Based Verification of Communicating Unstructured Code
A categorical view of action refinement in models of concurrency
Strategic Choice of Price-Setting Algorithms
Strategic choice of price-setting algorithms
Strategic choice of price-setting algorithms
Tenure-based Wage Setting
Tau-Equivalences and Refinement for Petri Nets Based Design
Formal Specification and Rule-Based Refinement of Software Components