According to our database1, Richard Müller
Legend:Book In proceedings Article PhD thesis Other
Deciding conformance for bounded responsiveness.
Sci. Comput. Program., 2017
Undecidability of accordance for open systems with unbounded message queues.
Inf. Process. Lett., 2014
Trace- and failure-based semantics for responsiveness.
Acta Inf., 2014
Service Discovery from Observed Behavior while Guaranteeing Deadlock Freedom in Collaborations.
Proceedings of the Service-Oriented Computing - 11th International Conference, 2013
Trace- and Failure-Based Semantics for Bounded Responsiveness.
Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013
A Survey on Approaches for Timed Services.
Proceedings of the 4<sup>th</sup> Central-European Workshop on Services and their Composition, 2012
Conformance Checking of Services Using the Best Matching Private View.
Proceedings of the Web Services and Formal Methods - 9th International Workshop, 2012
A Trace-Based Semantics for Responsiveness.
Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012
BPMN for Healthcare Processes.
Proceedings of the 3rd Central-European Workshop on Services and their Composition, 2011