Concepedia

Guarded Recursion

Guarded Recursion is a syntactic restriction in process algebra that ensures recursive process definitions are well-defined by requiring recursion to occur only under the scope of a prefixing action, thereby preventing immediate self-replication and guaranteeing unique solutions to recursive equations.

40

Publications

2.5K

Citations

54

Authors

36

Institutions

Publications per year

2017–2026

10

Parents

Publications

40

Communicating sequential processes

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

, , +16

Bisimulation can't be traced

Bard Bloom, Sorin Istrail, Albert R. Meyer · Journal of the ACM · 1995 · 384 citations · Full text

, , +13

Simple unification-based type inference for GADTs

Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich et al. · 2006 · 336 citations

, , +15

Guarded recursive datatype constructors

Hongwei Xi, Chiyan Chen, Gang Chen · 2003 · 329 citations

, , +14

A generalization of Dijkstra's calculus

Greg Nelson · ACM Transactions on Programming Languages and Systems · 1989 · 277 citations · Full text

, , +15

1–5 of 40

Authors

54

  1. RE
    Rasmus Ejlers Møgelberg

    IT University of Copenhagen, Denmark

    7 publications · 173 citations

    7

    h-index

  2. LB
    Lars Birkedal

    Aarhus University, Denmark

    7 publications · 173 citations

    7

    h-index

  3. AB
    Aleš Bizjak

    Aarhus University, Denmark

    3 publications · 51 citations

    3

    h-index

  4. DG
    Daniel Gratzer

    Aarhus University, Denmark

    3 publications · 91 citations

    3

    h-index

  5. SI
    Sorin Istrail

    Brown University, United States

    3 publications · 568 citations

    3

    h-index

1–5 of 54

Institutions

36

  1. Aarhus University

    Aarhus, Denmark

    9 h-index

    17 publications

    451 citations

  2. IT University of Copenhagen

    Copenhagen, Denmark

    9 h-index

    13 publications

    267 citations

  3. Friedrich-Alexander-Universität Erlangen-Nürnberg

    Erlangen, Germany

    3 h-index

    7 publications

    86 citations

  4. University of Strathclyde

    Glasgow, United Kingdom

    2 h-index

    2 publications

    99 citations

  5. Centrum Wiskunde & Informatica

    Amsterdam, The Netherlands

    2 h-index

    2 publications

    98 citations

  6. Quantemplate (United Kingdom)

    London, United Kingdom

    2 h-index

    2 publications

    99 citations

  7. California University of Pennsylvania

    California, United States

    2 h-index

    6 publications

    1.1K citations

  8. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    2 h-index

    2 publications

    383 citations

1–8 of 36

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 5 publications · 119 citations

    5

    h-index

  2. Mathematical Structures in Computer Science

    MSCS · 3 publications · 78 citations

    3

    h-index

  3. Logical Methods in Computer Science

    LMCS · 3 publications · 45 citations

    3

    h-index

  4. ACM SIGPLAN Notices

    3 publications · 111 citations

    3

    h-index

  5. 1

    h-index

1–5