1 paper
Sonja Georgievska, Suzana Andova
A central paradigm behind process semantics based on observability and testing is that the exact moment of occurring of an internal nondeterministic choice is unobservable. It is n…