Concepedia

Guarded Commands

Guarded Commands is a formal construct in program semantics that consists of a conditional imperative statement in which a command is executed only if its associated Boolean condition, or guard, evaluates to true, thereby enabling non-deterministic choice and refinement in program development.

45

Publications

4.8K

Citations

69

Authors

40

Institutions

Publications per year

2017–2026

0

Parents

Publications

45

Communicating sequential processes

C. A. R. Hoare · Communications of the ACM · 1983 · 3.8K citations · Full text

, , +16

Communicating sequential processes

C. A. R. Hoare · Communications of the ACM · 1978 · 3.5K citations · Full text

, , +16

Guarded commands, nondeterminacy and formal derivation of programs

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

, , +14

Symbolic Model Checking for Real-Time Systems

Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis et al. · Information and Computation · 1994 · 830 citations · Full text

, , +16

Symbolic model checking for real-time systems

Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis et al. · 2003 · 300 citations

, , +16

1–5 of 45

Authors

69

  1. AM
    Annabelle McIver

    Macquarie University, Australia

    4 publications · 333 citations

    4

    h-index

  2. EW
    Edsger W. Dijkstra

    Eindhoven University of Technology, Netherlands

    3 publications · 2K citations

    3

    h-index

  3. KS
    Klaus Schneider

    University of Kaiserslautern, Germany

    2 publications · 80 citations

    2

    h-index

  4. RS
    Rishiyur S. Nikhil

    Massachusetts Institute of Technology, United States

    2 publications · 29 citations

    2

    h-index

  5. RM
    Richard M. Murray

    California Institute of Technology, United States

    2 publications · 24 citations

    2

    h-index

1–5 of 69

Institutions

40

  1. University of Oxford

    Oxford, United Kingdom

    4 h-index

    6 publications

    594 citations

  2. Cornell University

    Ithaca, United States

    3 h-index

    8 publications

    4.2K citations

  3. Macquarie University

    Sydney, Australia

    3 h-index

    4 publications

    247 citations

  4. UNSW Sydney

    Sydney, Australia

    2 h-index

    2 publications

    89 citations

  5. Massachusetts Institute of Technology

    Cambridge, United States

    2 h-index

    2 publications

    29 citations

  6. Verimag

    Gières, France

    2 h-index

    6 publications

    3.9K citations

  7. University of California, Santa Barbara

    Santa Barbara, United States

    2 h-index

    4 publications

    98 citations

  8. RWTH Aachen University

    Aachen, Germany

    2 h-index

    3 publications

    171 citations

1–8 of 40

Venues

  1. 3

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 2 publications · 32 citations

    2

    h-index

  3. Software Practice and Experience

    2 publications · 34 citations

    2

    h-index

  4. ACM SIGDA Newsletter

    2 publications · 29 citations

    2

    h-index

  5. International Journal of Embedded Systems

    IJES · 1 publications · 11 citations

    1

    h-index

1–5