@inproceedings{0ed4644c62754f838793c616986320ad,
title = "A trace-based view on operating guidelines",
abstract = "Operating guidelines have been introduced to characterize all controllers for a given service S. A controller of S is a service that interacts with S without deadlocking. An operating guideline of S can be used to decide whether S refines another service. It is a special-purpose structure to describe the behavior of service S from the perspective of its controllers rather than from the perspective of S. This paper provides a more conceptual understanding of operating guidelines from the erspective of a traditional concurrency semantics: a trace-based semantics. As benefits, we get an easier characterization of service refinement, and prove that this is a fully abstract precongruence.",
author = "C. Stahl and W. Vogler",
year = "2011",
doi = "10.1007/978-3-642-19805-2_28",
language = "English",
isbn = "978-3-642-19804-5",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "411--425",
editor = "M. Hofmann",
booktitle = "Foundations of Software Science and Computational Structures (14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr{\"u}cken, Germany, March 26-April 3, 2011. Proceedings)",
address = "Germany",
}