Concepedia

Concurrent Refinement

Concurrent Refinement is a refinement calculus framework that extends sequential refinement to concurrent systems by formally specifying how atomic program steps and their interference constraints evolve through successive refinements.

27

Publications

984

Citations

51

Authors

35

Institutions

Publications per year

2017–2026

1

Parents

Publications

27

Refinement of actions and equivalence notions for concurrent systems

Rob van Glabbeek, Ursula Goltz · Acta Informatica · 2001 · 244 citations

, , +11

An example of stepwise refinement of distributed programs: quiescence detection

Mani Chandy, Jayadev Misra · ACM Transactions on Programming Languages and Systems · 1986 · 80 citations · Full text

, , +14

A Concurrent Language for Refinement

Jim Woodcock, Ana Cavalcanti · Electronic workshops in computing · 2001 · 78 citations · Full text

, , +11

Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP

Graeme Smith, John Derrick · Formal Methods in System Design · 2001 · 60 citations

, , +10

Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract)

Rob J. van Glabbeek, Ursula Goltz · Mathematical Foundations of Computer Science · 1989 · 59 citations

, , +14

1–5 of 27

Authors

51

  1. XF
    Xinyu Feng

    University of Science and Technology of China, China

    3 publications · 134 citations

    3

    h-index

  2. HL
    Hongjin Liang

    University of Science and Technology of China, China

    3 publications · 134 citations

    3

    h-index

  3. AC
    Ana Cavalcanti

    University of York, United Kingdom

    3 publications · 109 citations

    3

    h-index

  4. JD
    John Derrick

    University of Kent, United Kingdom

    2 publications · 43 citations

    2

    h-index

  5. RK
    Rajesh K. Gupta

    University of California San Diego, United States

    2 publications · 28 citations

    2

    h-index

1–5 of 51

Institutions

35

  1. University of Science and Technology of China

    Hefei, China

    3 h-index

    8 publications

    370 citations

  2. University of Oxford

    Oxford, United Kingdom

    2 h-index

    2 publications

    98 citations

  3. University of Kent

    Canterbury, United Kingdom

    2 h-index

    3 publications

    62 citations

  4. The University of Texas at Austin

    Austin, United States

    2 h-index

    5 publications

    220 citations

  5. University of California San Diego

    San Diego, United States

    2 h-index

    6 publications

    84 citations

  6. Universidade Federal do Rio Grande do Norte

    Natal, Brazil

    2 h-index

    4 publications

    63 citations

  7. University of Southampton

    Southampton, United Kingdom

    2 h-index

    3 publications

    56 citations

  8. Universidade Federal de Pernambuco

    Recife, Brazil

    1 h-index

    1 publications

    19 citations

1–8 of 35

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 4 publications · 68 citations

    4

    h-index

  2. Science of Computer Programming

    2 publications · 64 citations

    2

    h-index

  3. Acta Informatica

    2 publications · 264 citations

    2

    h-index

  4. Mathematical Foundations of Computer Science

    Conference · 1 publications · 59 citations

    1

    h-index

  5. International Journal of Social Robotics

    1 publications · 16 citations

    1

    h-index

1–5