PCSP# Denotational Semantics with an Application in Sports Analytics-Reference-Cited by-同舟云学术

PCSP# Denotational Semantics with an Application in Sports Analytics

Published:2024 Issue: Volume: Page:71-102
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:en
Short-container-title:

Author:

Liu Zhaoyu,Ma Murong,Jiang Kan,Hou Zhe,Shi Ling,Dong Jin Song

Publisher

Springer Nature Switzerland

Link

https://link.springer.com/content/pdf/10.1007/978-3-031-67114-2_4

Reference65 articles.

1. Bresciani, R., Butterfield, A.: Towards a UTP-style framework to deal with probabilities. Technical Report TCD-CS-2011-09, FMG, Trinity College Dublin, Ireland (2011)

2. Bride, H., et al.: N-PAT: a nested model-checker: (System Description). In: Peltier, N., Sofronie-Stokkermans, V. (eds.) Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II, pp. 369–377. Springer International Publishing, Cham (2020). https://doi.org/10.1007/978-3-030-51054-1_22

3. Cavalcanti, A., Sampaio, A., Woodcock, J.: Refinement of actions in circus. In: Derrick, J., Boiten, E.A., Woodcock, J., von Wright, J. (eds.) BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002. Electronic Notes in Theoretical Computer Science, vol. 70, pp. 132–162. Elsevier (2002). https://doi.org/10.1016/S1571-0661(05)80489-X

4. Cavalcanti, A., Woodcock, J.: A Tutorial Introduction to CSP in Unifying Theories of Programming. In: Cavalcanti, A., Sampaio, A., Woodcock, J. (eds.) Refinement Techniques in Software Engineering, pp. 220–268. Springer, Berlin, Heidelberg (2006). https://doi.org/10.1007/11889229_6

5. Conserva Filho, M.S., Marinho, R., Mota, A., Woodcock, J.: Analysing RoboChart with Probabilities. In: Massoni, T., Mousavi, M.R. (eds.) Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings, pp. 198–214. Springer International Publishing, Cham (2018). https://doi.org/10.1007/978-3-030-03044-5_13