Hochschulschrift | Online-Publikation
Action refinement in end-based choice settings
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Mannheim, Univ., Diss., 2003
- Classification
-
Informatik
- Keyword
-
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,
- Creator
-
Fecher, Harald
- URN
-
urn:nbn:de:bsz:180-madoc-746
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:53 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
- Online-Publikation
Associated
- Fecher, Harald
Other Objects (12)
Action refinement in end based choice settings
On syntactic action refinement and logic
Strategic choice of price-setting algorithms
Strategic choice of price-setting algorithms
Strategic Choice of Price-Setting Algorithms
A categorical view of action refinement in models of concurrency
Effective affirmative action in school choice
Der Abgrund : Liebe, Action, Abenteuer und Happy End
Der Abgrund : Liebe, Action, Abenteuer und ein Happy End
Der Abgrund : Liebe, Action, Abenteuer und ein Happy End
Multi-criteria analysis for priority-setting in mine action
Retirement choice simulation in household settings with heterogeneous pension plans
Action refinement in end based choice settings
On syntactic action refinement and logic
Strategic choice of price-setting algorithms
Strategic choice of price-setting algorithms
Strategic Choice of Price-Setting Algorithms
A categorical view of action refinement in models of concurrency
Effective affirmative action in school choice
Der Abgrund : Liebe, Action, Abenteuer und Happy End
Der Abgrund : Liebe, Action, Abenteuer und ein Happy End
Der Abgrund : Liebe, Action, Abenteuer und ein Happy End
Multi-criteria analysis for priority-setting in mine action
Retirement choice simulation in household settings with heterogeneous pension plans
Action refinement in end based choice settings
On syntactic action refinement and logic
Strategic choice of price-setting algorithms
Strategic choice of price-setting algorithms
Strategic Choice of Price-Setting Algorithms
A categorical view of action refinement in models of concurrency
Effective affirmative action in school choice
Der Abgrund : Liebe, Action, Abenteuer und Happy End
Der Abgrund : Liebe, Action, Abenteuer und ein Happy End
Der Abgrund : Liebe, Action, Abenteuer und ein Happy End
Multi-criteria analysis for priority-setting in mine action