Nondeterminism

Results: 33



#Item
21BRICS Basic Research in Computer Science BRICS DSD. Varacca: Two Denotational Models for Probabilistic Computation Probability, Nondeterminism and

BRICS Basic Research in Computer Science BRICS DSD. Varacca: Two Denotational Models for Probabilistic Computation Probability, Nondeterminism and

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2004-03-22 11:49:34
    22Semantics of nondeterminism Paul Blain Levy University of Birmingham November 17, 2009

    Semantics of nondeterminism Paul Blain Levy University of Birmingham November 17, 2009

    Add to Reading List

    Source URL: www.cs.bham.ac.uk

    Language: English - Date: 2009-11-17 12:32:19
      23. A nondeterministic probabilistic monad with nondeterminism for coalgebraic trace semantics .

      . A nondeterministic probabilistic monad with nondeterminism for coalgebraic trace semantics .

      Add to Reading List

      Source URL: calco2011.ecs.soton.ac.uk

      Language: English - Date: 2011-09-18 15:59:28
      24

      PDF Document

      Add to Reading List

      Source URL: research.microsoft.com

      Language: English - Date: 2009-07-21 20:08:24
      25Introduction UTP Designs with angelic nondeterminism

      Introduction UTP Designs with angelic nondeterminism

      Add to Reading List

      Source URL: www.cs.york.ac.uk

      Language: English - Date: 2013-04-03 07:33:05
      26Partiality as nondeterminism Yngve Lamo Michal Walicki Abstract

      Partiality as nondeterminism Yngve Lamo Michal Walicki Abstract

      Add to Reading List

      Source URL: www.nik.no

      Language: English - Date: 2004-03-09 04:39:36
      27Nondeterminism in the Presence of a Diverse or Unknown Future ? Udi Boker1 , Denis Kuperberg2 , Orna Kupferman2 , and Michał Skrzypczak3 1 2

      Nondeterminism in the Presence of a Diverse or Unknown Future ? Udi Boker1 , Denis Kuperberg2 , Orna Kupferman2 , and Michał Skrzypczak3 1 2

      Add to Reading List

      Source URL: www.liafa.univ-paris-diderot.fr

      Language: English - Date: 2013-04-29 05:18:08
      28Nondeterminism in the Presence of Diverse or Unknown Future. U. Boker1 , D. Kuperberg2,3 , O. Kupferman2 , M. Skrzypczak3 1 IST 2 Hebrew

      Nondeterminism in the Presence of Diverse or Unknown Future. U. Boker1 , D. Kuperberg2,3 , O. Kupferman2 , M. Skrzypczak3 1 IST 2 Hebrew

      Add to Reading List

      Source URL: www.liafa.univ-paris-diderot.fr

      Language: English - Date: 2014-01-07 04:43:59
      29Reasoning by Regression: Pre- and Postdiction Procedures for Logics o f A c t i o n a n d C h a n g e w i t h Nondeterminism* M a r c u s B j a r e l a n d and L a r s K a r l s s o n Department of Computer and Informati

      Reasoning by Regression: Pre- and Postdiction Procedures for Logics o f A c t i o n a n d C h a n g e w i t h Nondeterminism* M a r c u s B j a r e l a n d and L a r s K a r l s s o n Department of Computer and Informati

      Add to Reading List

      Source URL: www.ida.liu.se

      Language: English - Date: 2012-01-24 05:34:02
      30A Work-Efficient Parallel Breadth-First Search Algorithm (or How to Cope with the Nondeterminism of Reducers) Charles E. Leiserson Tao B. Schardl MIT Computer Science and Artificial Intelligence Laboratory 32 Vassar Stre

      A Work-Efficient Parallel Breadth-First Search Algorithm (or How to Cope with the Nondeterminism of Reducers) Charles E. Leiserson Tao B. Schardl MIT Computer Science and Artificial Intelligence Laboratory 32 Vassar Stre

      Add to Reading List

      Source URL: supertech.csail.mit.edu

      Language: English - Date: 2014-09-16 08:27:50