• Ada95

  • Referenced in 185 articles [sw01753]
  • synchronous message passing, protected objects, and non-determinism. Ada is an international standard; the current...
  • ELAN

  • Referenced in 108 articles [sw02179]
  • result. This declarative handling of non-determinism is part of a strategy language allowing...
  • MoDeST

  • Referenced in 30 articles [sw01544]
  • describe important phenomena such as non-determinism, probabilistic branching, and hard real-time as well...
  • PMaude

  • Referenced in 29 articles [sw08422]
  • absence of such (un-quantified) non-determinism in a probabilistic system is necessary...
  • Eff

  • Referenced in 17 articles [sw22721]
  • handlers. Just like an exception handler determines what happens when an exception is raised ... Examples of handlers include state, transactions, non-determinism, stream redirection, backtracking, delimited continuations, and many...
  • CSP-prover

  • Referenced in 15 articles [sw11465]
  • systems, which may also involve infinite non-determinism. For this reason, CSP-Prover currently focuses...
  • CoLoSS

  • Referenced in 14 articles [sw07016]
  • interpreted over probabilistic automata that combine non-determinism and probabilities in different ways...
  • CLPS-B

  • Referenced in 7 articles [sw00132]
  • abstraction. The constrained state propagates the non-determinism of the B specifications and reduces...
  • Tac

  • Referenced in 7 articles [sw09455]
  • means for reducing and structuring the non-determinism involved in searching for sequent calculus proofs...
  • TinyOS

  • Referenced in 7 articles [sw02023]
  • execution. In short, the model introduces non-determinism in the execution ordering of primitive actions...
  • Kendo

  • Referenced in 7 articles [sw24074]
  • target them remains a daunting task. Non-determinism, inherent in threaded applications, causes significant challenges...
  • IndiGolog

  • Referenced in 5 articles [sw16792]
  • situation calculus. Theprogrammer can controlthe amountof non-determinism in the program and how muchof...
  • ProGolem

  • Referenced in 4 articles [sw13855]
  • learning time compared to Golem on two determinate real-world applications where Golem was originally ... ProGolem was also tested on several non-determinate real-world applications where Golem is inapplicable...
  • Pengines

  • Referenced in 4 articles [sw12408]
  • converting Prolog data and handling Prolog non-determinism. The Pengines library is small (2000 lines...
  • JACK

  • Referenced in 3 articles [sw04601]
  • complex due mainly to the inherent non-determinism of their execution, which makes it difficult...
  • TravMC

  • Referenced in 2 articles [sw09396]
  • program branching based on data) and non-determinism (to express abstractions of behaviours). This paper...
  • PFLP

  • Referenced in 2 articles [sw28855]
  • Probabilistic Programming using Non-strict Non-determinism. This paper presents PFLP, a library for probabilistic...
  • CSP

  • Referenced in 1 article [sw08678]
  • underlying operational semantics which combines concurrency, non-determinism and non-termination. We define an instrumented...
  • Coq

  • Referenced in 1776 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Isabelle

  • Referenced in 606 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...