8 citations · 17 across the 6 of their papers we have counts for
4 papers · 1 filter
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…
Testing Reactive Probabilistic Processes
Sonja Georgievska, Suzana Andova
We define a testing equivalence in the spirit of De Nicola and Hennessy for reactive probabilistic processes, i.e. for processes where the internal nondeterminism is due to random…
Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications
Suzana Andova, Annabelle McIver, Pedro D'Argenio +4
This volume contains the papers presented at the 1st workshop on Quantitative Formal Methods: Theory and Applications, which was held in Eindhoven on 3 November 2009 as part of the…
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…