Results 1 to 20 of 60
Sort by:

  • Ada95
  • Referenced in 293 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 32 articles [sw01544]
  • describe important phenomena such as non-determinism, probabilistic branching, and hard real-time as well...

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

  • Eff
  • Referenced in 21 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 17 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...

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

  • 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...

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

  • PFLP

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

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

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

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

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