- edoc-Server Home
- Schriftenreihen und Sammelbände
- Fakultäten und Institute der HU
- Institut für Informatik
- Browsing Institut für Informatik by Author
Browsing Institut für Informatik by Author "Lohmann, Niels"
Now showing items 1-2 of 2
-
2007-01-01BuchBehavioral Constraints for Services Lohmann, Niels; Massuthe, Peter; Wolf, KarstenRecently, we introduced the concept of an operating guideline of a service as a structure that characterizes all its properly interacting partner services. The hitherto considered correctness criterion is deadlock freedom ...
-
2006-01-01BuchOperating Guidelines for Finite-State Services Lohmann, Niels; Massuthe, Peter; Wolf, KarstenWe introduce the concept of an operating guideline for an arbitrary finite-state service P, extending the work of [1, 2] which was restricted to acyclic services. An operating guideline gives complete information about how ...