Cited By
View all- Aichernig B(2019)A Testing Perspective on Algebraic, Denotational, and Operational SemanticsUnifying Theories of Programming10.1007/978-3-030-31038-7_2(22-38)Online publication date: 8-Oct-2019
We consider the problem of model checking message-passing systems with real-time requirements. As behavioral specifications, we use message sequence charts (MSCs) annotated with timing constraints. Our system model is a network of communicating finite ...
Conformance checking is a key process mining task to confront the normative behavior imposed by a process model with the actual behavior recorded in a log. While this problem has been extensively studied for pure control-flow processes,...
Springer-Verlag
Berlin, Heidelberg
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in