@article(Aumann61,
author = {R.J. Aumann},
year = {1961},
title = {Borel Structures for function Spaces},
journal = {Illinois Journal of Mathematics},
volume = {5},
number = {4},
pages = {614--630},
doi = {10.1215/ijm/1255631584},
)
@book(BaetenWeijland90,
author = {J.C.M. Baeten and W.P. Weijland},
year = {1990},
title = {Process algebra},
series = {Cambridge tracts in theoretical computer science},
volume = {18},
publisher = {Cambridge University Press},
doi = {10.1017/CBO978051162419},
)
@article(Dezyne2021,
author = {R. van Beusekom and B. de Jonge and P. Hoogendijk and J. Nieuwenhuizen},
year = {2021},
title = {Dezyne: Paving the Way to Practical Formal Software Engineering},
journal = {EPTCS},
volume = {338},
pages = {19--30},
doi = {10.4204/EPTCS.338.4},
note = {Proceedings of the 6th Workshop on Formal Integrated Development, F-IDE2021},
)
@inproceedings(DBLP:conf/fm/Broadfoot05,
author = {Guy H. Broadfoot},
year = {2005},
title = {{ASD} Case Notes: Costs and Benefits of Applying Formal Methods to Industrial Control Software},
editor = {John S. Fitzgerald and Ian J. Hayes and Andrzej Tarlecki},
booktitle = {{FM} 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3582},
publisher = {Springer},
pages = {548--551},
doi = {10.1007/11526841\_39},
)
@techreport(GrooteLanik2011,
author = {J.F. Groote and J. Lanik},
year = {2011},
title = {Semantics, bisimulation and congruence results for a general stochastic process operator},
type = {Computer Science Report},
number = {11/05},
institution = {Department of Mathematics and Computer Science, Eindhoven University of Technology},
url = {https://pure.tue.nl/ws/files/3214338/712142.pdf},
)
@book(GrooteMousavi14,
author = {J.F. Groote and M.R. Mousavi},
year = {2014},
title = {Modeling and Analysis of Communicating Systems},
publisher = {{MIT} Press},
doi = {10.7551/mitpress/9946.001.0001},
)
@inproceedings(DBLP:conf/birthday/GrooteV17,
author = {J.F. Groote and E.P. de Vink},
year = {2017},
title = {Problem Solving Using Process Algebra Considered Insightful},
editor = {J.{-}P. Katoen and R. Langerak and A. Rensink},
booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10500},
publisher = {Springer},
pages = {48--63},
doi = {10.1007/978-3-319-68270-9\_3},
)
@article(DBLP:journals/siamrev/GrooteWZ16,
author = {J.F. Groote and F. Wiedijk and H. Zantema},
year = {2016},
title = {A Probabilistic Analysis of the Game of the Goose},
journal = {{SIAM} Rev.},
volume = {58},
number = {1},
pages = {143--155},
doi = {10.1137/140983781},
)
@inproceedings(DBLP:conf/tacas/HartmannsH14,
author = {A. Hartmanns and H. Hermanns},
year = {2014},
title = {The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification},
editor = {E. {\'{A}}brah{\'{a}}m and K. Havelund},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, {TACAS} 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8413},
publisher = {Springer},
pages = {593--598},
doi = {10.1007/978-3-642-54862-8\_51},
)
@book(DBLP:books/ph/Hoare85,
author = {C.A.R. Hoare},
year = {1985},
title = {Communicating Sequential Processes},
publisher = {Prentice-Hall},
)
@inproceedings(DBLP:conf/cav/KwiatkowskaNP11,
author = {M.Z. Kwiatkowska and G. Norman and D. Parker},
year = {2011},
title = {{PRISM} 4.0: Verification of Probabilistic Real-Time Systems},
editor = {G. Gopalakrishnan and S. Qadeer},
booktitle = {Computer Aided Verification - 23rd International Conference, {CAV} 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6806},
publisher = {Springer},
pages = {585--591},
doi = {10.1007/978-3-642-22110-1\_47},
)
@article(Luttik03,
author = {S.P. Luttik},
year = {2003},
title = {On the expressiveness of choice quantification},
journal = {Ann. Pure Appl. Log.},
volume = {121},
number = {1},
pages = {39--87},
doi = {10.1016/S0168-0072(02)00082-9},
)
@inproceedings(Mi73a,
author = {R. Milner},
year = {1973},
title = {An approach to the semantics of parallel programs},
booktitle = {Convegno di Informatica Teorica, {P}isa},
pages = {283--302},
)
@inproceedings(Mi73b,
author = {R. Milner},
year = {1973},
title = {A mathematical model of computing agents},
editor = {H.E. Rose and J.C. Shepherdson},
booktitle = {Proceedings Logic Colloquium},
publisher = {North-Holland},
pages = {283--302},
)
@book(DBLP:books/sp/Milner80,
author = {R. Milner},
year = {1980},
title = {A Calculus of Communicating Systems},
series = {Lecture Notes in Computer Science},
volume = {92},
publisher = {Springer},
doi = {10.1007/3-540-10235-3},
)
@article(OttYorke2005,
author = {W. Ott and J.A. Yorke},
year = {2005},
title = {Prevalence},
journal = {Bulletin of the American Mathematical Society},
volume = {42},
number = {3},
pages = {263--290},
doi = {10.1090/S0273-0979-05-01060-8},
)