Results 1 to 10 of about 11,242,110 (313)
Resolving Non-determinism in Choreographies [PDF]
Logical Methods in Computer Science, 2014 Resolving non-deterministic choices of choreographies is a crucial task. We introduce a novel notion of realisability for choreographies –called whole-spectrum implementation– that rules out deterministic implementations of roles that, no matter which ...
L. Bocchi +2 more
semanticscholar +16 more sources
Non-determinism in Byzantine Fault-Tolerant Replication [PDF]
International Conference on Principles of Distributed Systems, 2016 Service replication distributes an application over many processes for tolerating faults, attacks, and misbehavior among a subset of the processes. The established state-machine replication paradigm inherently requires the application to be deterministic.
C. Cachin, Simon Schubert, M. Vukolic
semanticscholar +7 more sources
On Resolving Non-determinism in Choreographies [PDF]
Logical Methods in Computer Science, 2020 Choreographies specify multiparty interactions via message passing. A realisation of a choreography is a composition of independent processes that behave as specified by the choreography.
Laura Bocchi +2 more
doaj +3 more sources
Separation of Test-Free Propositional Dynamic Logics over Context-Free Languages [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 For a class L of languages let PDL[L] be an extension of Propositional Dynamic Logic which allows programs to be in a language of L rather than just to be regular.
Markus Latte
doaj +4 more sources
A Stochastic Broadcast Pi-Calculus [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 In this paper we propose a stochastic broadcast PI-calculus which can be used to model server-client based systems where synchronization is always governed by only one participant. Therefore, there is no need to determine the joint synchronization rates.
Lei Song +2 more
doaj +8 more sources
Identifying Degree and Sources of Non-Determinism in MPI Applications Via Graph Kernels
IEEE Transactions on Parallel and Distributed Systems, 2021 As the scientific community prepares to deploy an increasingly complex and diverse set of applications on exascale platforms, the need to assess reproducibility of simulations and identify the root causes of reproducibility failures increases ...
Dylan Chapp +2 more
exaly +2 more sources
Effects Without Monads: Non-determinism – Back to the Meta Language [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We reflect on programming with complicated effects, recalling an undeservingly forgotten alternative to monadic programming and checking to see how well it can actually work in modern functional languages. We adopt and argue the position of factoring an
Oleg Kiselyov
doaj +3 more sources
Call-by-Value Non-determinism in a Linear Logic Type Discipline [PDF]
Symposium on Logical Foundations of Computer Science, 2013 We consider the call-by-value λ-calculus extended with a may-convergent non-deterministic choice and a must-convergent parallel composition. Inspired by recent works on the relational semantics of linear logic and non-idempotent intersection types, we ...
Alejandro Díaz-Caro +2 more
semanticscholar +7 more sources
European Symposium on Programming, 2017 We investigate the power of non-determinism in purely functional programming languages with higher-order types. Specifically, we consider cons-free programs of varying data orders, equipped with explicit non-deterministic choice.
Cynthia Kop, J. Simonsen
semanticscholar +3 more sources
Non-Determinism and the Lawlessness of Machine Learning Code [PDF]
Symposium on Computer Science and Law, 2022 Legal literature on machine learning (ML) tends to focus on harms, and thus tends to reason about individual model outcomes and summary error rates. This focus has masked important aspects of ML that are rooted in its reliance on randomness --- namely ...
A. F. Cooper +2 more
semanticscholar +1 more source