About the Authors
- Keith Baverstock
-
* E-mail: keith.baverstock@uku.fi (KB); mauno.ronkko@uku.fi (MR)
Affiliation Department of Environmental Science, University of Kuopio, Kuopio, Finland
- Mauno Rönkkö
-
* E-mail: keith.baverstock@uku.fi (KB); mauno.ronkko@uku.fi (MR)
Affiliation Department of Computer Science, University of Kuopio, Kuopio, Finland
Competing Interests
The authors have declared that no competing interests exist.
Author Contributions
Wrote the paper: KB. Other: Conceived and developed the ideas with the exception of the relvance of Refinement Calculus to the model/hypothesis proposed: KB. Contributed the insight that refinement Calculus was an appropriate modality to deal with the model/hypothesis proposed by the first author: MR.