Concepedia

Guarded Transitions

Guarded Transitions is a formal modeling construct in timing semantics that consists of state transitions activated only when associated logical conditions, or guards, are satisfied, thereby enabling precise control over the temporal ordering and execution of actions in concurrent and reactive systems.

39

Publications

3.3K

Citations

83

Authors

52

Institutions

Publications per year

2017–2026

0

Parents

Publications

39

Guarded commands, nondeterminacy and formal derivation of programs

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

, , +14

Transition system specifications with negative premises

Jan Friso Groote · Theoretical Computer Science · 1993 · 194 citations

, , +8

Probabilistic models for the guarded command language

He Jifeng, Karen Seidel, Annabelle McIver · Science of Computer Programming · 1997 · 165 citations

, , +9

Output Guards and Nondeterminism in “Communicating Sequential Processes”

Arthur Bernstein · ACM Transactions on Programming Languages and Systems · 1980 · 88 citations · Full text

, , +12

Guarded transition systems: A new states/events formalism for reliability studies

Antoine Rauzy · Proceedings of the Institution of Mechanical Engineers Part O Journal of Risk and Reliability · 2008 · 86 citations · Full text

, , +16

1–5 of 39

Authors

83

  1. EW
    Edsger W. Dijkstra

    Eindhoven University of Technology, Netherlands

    3 publications · 2K citations

    3

    h-index

  2. KS
    Klaus Schneider

    University of Kaiserslautern, Germany

    2 publications · 32 citations

    2

    h-index

  3. NF
    Nissim Francez

    Technion – Israel Institute of Technology, Israel

    2 publications · 103 citations

    2

    h-index

  4. RS
    Rishiyur S. Nikhil

    Massachusetts Institute of Technology, United States

    2 publications · 29 citations

    2

    h-index

  5. JB
    Jens Brandt

    University of Kaiserslautern, Germany

    2 publications · 32 citations

    2

    h-index

1–5 of 83

Institutions

52

  1. Massachusetts Institute of Technology

    Cambridge, United States

    3 h-index

    3 publications

    45 citations

  2. Pusan National University

    Busan, South Korea

    1 h-index

    2 publications

    28 citations

  3. Oxford Research Group

    London, United Kingdom

    1 h-index

    3 publications

    495 citations

  4. University of Salerno

    Fisciano, Italy

    1 h-index

    1 publications

    10 citations

  5. Utrecht University

    Utrecht, The Netherlands

    1 h-index

    1 publications

    78 citations

  6. University of Kaiserslautern

    Kaiserslautern, Germany

    1 h-index

    3 publications

    39 citations

  7. Vrije Universiteit Amsterdam

    Amsterdam, The Netherlands

    1 h-index

    1 publications

    25 citations

  8. Virginia Tech

    Blacksburg, United States

    1 h-index

    1 publications

    13 citations

1–8 of 52

Venues

  1. ACM SIGDA Newsletter

    2 publications · 29 citations

    2

    h-index

  2. Annals of Pure and Applied Logic

    2 publications · 98 citations

    2

    h-index

  3. Science of Computer Programming

    2 publications · 222 citations

    2

    h-index

  4. Journal of Symbolic Computation

    1 publications · 15 citations

    1

    h-index

  5. 1

    h-index

1–5