Nondeterminism

Results: 33



#Item
1RJ 09:0 Counterpoint A UNITY proof with pure nondeterminism Rajeev Joshi

RJ 09:0 Counterpoint A UNITY proof with pure nondeterminism Rajeev Joshi

Add to Reading List

Source URL: rjoshi.org

Language: English - Date: 2010-09-11 18:26:03
    2Determinism versus Nondeterminism in Two-Way Finite Automata Recent Results around the Sakoda and Sipser Question Giovanni Pighizzini Dipartimento di Informatica

    Determinism versus Nondeterminism in Two-Way Finite Automata Recent Results around the Sakoda and Sipser Question Giovanni Pighizzini Dipartimento di Informatica

    Add to Reading List

    Source URL: pighizzini.di.unimi.it

    Language: English - Date: 2012-09-04 12:11:31
      3Determinism versus Nondeterminism in Two-Way Finite Automata Recent Results around the Sakoda and Sipser Question Giovanni Pighizzini Dipartimento di Informatica

      Determinism versus Nondeterminism in Two-Way Finite Automata Recent Results around the Sakoda and Sipser Question Giovanni Pighizzini Dipartimento di Informatica

      Add to Reading List

      Source URL: pighizzini.di.unimi.it

      Language: English - Date: 2012-09-04 12:11:30
        4References [1] F.S. de Boer, A. Di Pierro, and C. Palamidessi. Nondeterminism and Infinite Computations in Constraint Programming. Theoretical Computer Science, 151(1), 1995. Selected Papers of the Workshop on Topology a

        References [1] F.S. de Boer, A. Di Pierro, and C. Palamidessi. Nondeterminism and Infinite Computations in Constraint Programming. Theoretical Computer Science, 151(1), 1995. Selected Papers of the Workshop on Topology a

        Add to Reading List

        Source URL: profs.sci.univr.it

        Language: English - Date: 2016-11-27 13:25:29
          5Repairing Event Race Errors by Controlling Nondeterminism Christoffer Quist Adamsen∗ Anders Møller Aarhus University Aarhus, Denmark

          Repairing Event Race Errors by Controlling Nondeterminism Christoffer Quist Adamsen∗ Anders Møller Aarhus University Aarhus, Denmark

          Add to Reading List

          Source URL: manu.sridharan.net

          - Date: 2018-02-03 20:39:22
            6Rule formats for bounded nondeterminism in Nominal SOS Álvaro García-Pérez (Joint work with Luca Aceto, Ignacio Fábregas and Anna Ingólfsdóttir.)

            Rule formats for bounded nondeterminism in Nominal SOS Álvaro García-Pérez (Joint work with Luca Aceto, Ignacio Fábregas and Anna Ingólfsdóttir.)

            Add to Reading List

            Source URL: babel.ls.fi.upm.es

            - Date: 2016-05-31 08:04:56
              7Rule formats for bounded nondeterminism in structural operational semantics Luca Aceto Álvaro García-Pérez

              Rule formats for bounded nondeterminism in structural operational semantics Luca Aceto Álvaro García-Pérez

              Add to Reading List

              Source URL: babel.ls.fi.upm.es

              - Date: 2016-05-31 08:08:10
                8Reasoning about Nondeterminism in Programs Byron Cook Eric Koskinen ∗ Microsoft Research Cambridge

                Reasoning about Nondeterminism in Programs Byron Cook Eric Koskinen ∗ Microsoft Research Cambridge

                Add to Reading List

                Source URL: www.cims.nyu.edu

                - Date: 2013-03-31 19:01:05
                  9Revisiting: Algebraic laws for nondeterminism and concurrency Matthew Hennessy Milner-Symposium, Edinburgh

                  Revisiting: Algebraic laws for nondeterminism and concurrency Matthew Hennessy Milner-Symposium, Edinburgh

                  Add to Reading List

                  Source URL: events.inf.ed.ac.uk

                  Language: English - Date: 2012-10-10 03:52:01
                  10Introducing Nondeterminism Michal Armoni; Judith Gal-Ezer The Journal of Computers in Mathematics and Science Teaching; 2006; 25, 4; Education Module pgReproduced with permission of the copyright owner. Further re

                  Introducing Nondeterminism Michal Armoni; Judith Gal-Ezer The Journal of Computers in Mathematics and Science Teaching; 2006; 25, 4; Education Module pgReproduced with permission of the copyright owner. Further re

                  Add to Reading List

                  Source URL: www.openu.ac.il

                  Language: English - Date: 2007-10-29 03:46:49