8 citations · 11 across the 4 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2011
Towards reduction of Paradigm coordination models
Suzana Andova, Luuk Groenewegen, Erik de Vink
The coordination modelling language Paradigm addresses collaboration between components in terms of dynamic constraints. Within a Paradigm model, component dynamics are consistentl…
cs.LO2009
Testing Probabilistic Processes: Can Random Choices Be Unobservable?
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…