Concepedia

Nondeterminism

Nondeterminism is a computational behavior in process algebra wherein a system may choose among multiple possible next actions without specified probabilities or deterministic selection criteria, distinguishing it from probabilistic and deterministic transition models.

356

Publications

17.3K

Citations

623

Authors

280

Institutions

Publications per year

2017–2026

27

Parents

Publications

356

Relationships between nondeterministic and deterministic tape complexities

Walter J. Savitch · Journal of Computer and System Sciences · 1970 · 1.4K citations

, , +5

What's Decidable about Hybrid Automata?

Thomas A. Henzinger, Peter W. Kopke, Anuj Puri et al. · Journal of Computer and System Sciences · 1998 · 675 citations · Full text

, , +17

What's decidable about hybrid automata?

Thomas A. Henzinger, Peter W. Kopke, Anuj Puri et al. · 1995 · 521 citations · Full text

, , +17

The method of forced enumeration for nondeterministic automata

Acta Informatica · 1988 · 384 citations

, , +8

Hypertableau Reasoning for Description Logics

2007 · 353 citations

, , +11

1–5 of 356

Authors

623

  1. GP
    Gordon Plotkin

    University of Edinburgh, United Kingdom

    7 publications · 413 citations

    7

    h-index

  2. CM
    Carroll Morgan

    Oxford Research Group, United Kingdom

    7 publications · 503 citations

    7

    h-index

  3. KK
    Klaus Keimel

    Technische Universität Darmstadt, Germany

    6 publications · 222 citations

    6

    h-index

  4. MB
    Marco Bernardo

    University of Urbino, Italy

    6 publications · 436 citations

    6

    h-index

  5. YX
    Yimin Xiao

    Michigan State University, United States

    6 publications · 157 citations

    6

    h-index

1–5 of 623

Institutions

280

  1. University of California, Berkeley

    Berkeley, United States

    10 h-index

    25 publications

    3.9K citations

  2. Carnegie Mellon University

    Pittsburgh, United States

    7 h-index

    10 publications

    492 citations

  3. The University of Queensland

    Brisbane, Australia

    7 h-index

    15 publications

    489 citations

  4. University of Illinois Urbana-Champaign

    Urbana, United States

    7 h-index

    20 publications

    885 citations

  5. University of Edinburgh

    Edinburgh, United Kingdom

    7 h-index

    8 publications

    510 citations

  6. Pennsylvania State University

    State College, United States

    7 h-index

    9 publications

    368 citations

  7. University of California San Diego

    San Diego, United States

    6 h-index

    7 publications

    2K citations

  8. University of Cambridge

    Cambridge, United Kingdom

    6 h-index

    7 publications

    187 citations

1–8 of 280

Venues

  1. Theoretical Computer Science

    31 publications · 1.6K citations

    20

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 12 publications · 398 citations

    12

    h-index

  3. Journal of Computer and System Sciences

    9 publications · 2.4K citations

    9

    h-index

  4. Information and Computation

    8 publications · 291 citations

    8

    h-index

  5. Acta Informatica

    8 publications · 642 citations

    8

    h-index

1–5