Concepedia

Nondeterministic Specification

A Nondeterministic Specification is a formal specification in Refinement Calculus that, as a member of the class of program specifications, permits multiple possible behaviors or outcomes for a given input state by abstracting away specific computational choices, thereby distinguishing it from deterministic specifications that prescribe a unique outcome.

135

Publications

7.1K

Citations

289

Authors

146

Institutions

Publications per year

2017–2026

10

Parents

Publications

135

Guarded commands, nondeterminacy and formal derivation of programs

Edsger W. Dijkstra · Communications of the ACM · 1975 · 1.9K citations · Full text

, , +14

Laws of programming

C. A. R. Hoare, Ian J. Hayes, He Jifeng et al. · Communications of the ACM · 1987 · 389 citations · Full text

, , +14

Towards Understanding and Harnessing the Potential of Clause Learning

Paul Beame, Henry Kautz, Ashish Sabharwal · Journal of Artificial Intelligence Research · 2004 · 288 citations · Full text

, , +14

Representation of nondeterministic information

Ewa Orłowska, Zdzisław Pawlak · Theoretical Computer Science · 1984 · 247 citations

, , +4

An executable formal semantics of C with applications

Chucky Ellison, Grigore Roşu · ACM SIGPLAN Notices · 2012 · 185 citations

, , +16

1–5 of 135

Authors

289

  1. RK
    Ratnesh Kumar

    Iowa State University, United States

    8 publications · 325 citations

    8

    h-index

  2. CZ
    Changyan Zhou

    Iowa State University, United States

    5 publications · 208 citations

    5

    h-index

  3. ST
    Shigemasa Takai

    The University of Osaka, Japan

    5 publications · 84 citations

    5

    h-index

  4. EW
    Edsger W. Dijkstra

    Eindhoven University of Technology, Netherlands

    3 publications · 2K citations

    3

    h-index

  5. CJ
    Changjun Jiang

    Tongji University, China

    3 publications · 128 citations

    3

    h-index

1–5 of 289

Institutions

146

  1. The University of Osaka

    Osaka, Japan

    6 h-index

    8 publications

    147 citations

  2. Iowa State University

    Ames, United States

    6 h-index

    10 publications

    467 citations

  3. University of California, Berkeley

    Berkeley, United States

    6 h-index

    24 publications

    556 citations

  4. University of Maryland, College Park

    College Park, United States

    5 h-index

    6 publications

    235 citations

  5. University of Illinois Urbana-Champaign

    Urbana, United States

    4 h-index

    8 publications

    326 citations

  6. Polish Academy of Sciences

    Warsaw, Poland

    4 h-index

    6 publications

    597 citations

  7. Tongji University

    Shanghai, China

    3 h-index

    10 publications

    481 citations

  8. University of Bologna

    Bologna, Italy

    3 h-index

    3 publications

    78 citations

1–8 of 146

Venues

  1. Theoretical Computer Science

    7 publications · 413 citations

    7

    h-index

  2. IEEE Transactions on Automatic Control

    7 publications · 280 citations

    7

    h-index

  3. IEEE Transactions on Software Engineering

    TSE · 5 publications · 189 citations

    5

    h-index

  4. Electronic Notes in Theoretical Computer Science

    ENTCS · 5 publications · 125 citations

    5

    h-index

  5. Information Processing Letters

    4 publications · 64 citations

    4

    h-index

1–5