A Logical Characterization of Weak Determinism as Simultaneous Application
Crossref DOI link: https://doi.org/10.1007/s10849-025-09429-9
Published Online: 2025-04-11
Published Print: 2025-05
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Yolyan, Tatevik https://orcid.org/0009-0002-6539-4808
Text and Data Mining valid from 2025-04-11
Version of Record valid from 2025-04-11
Article History
Accepted: 8 March 2025
First Online: 11 April 2025