Concepedia

Refinement Algebra

Refinement Algebra is a formal algebraic system that belongs to the class of mathematical frameworks used in program development, distinguished by its axiomatic treatment of program refinement through operations such as sequencing, choice, and refinement order, enabling the stepwise derivation of correct programs from specifications.

20

Publications

571

Citations

28

Authors

18

Institutions

Publications per year

2017–2026

1

Parents

Publications

20

Towards a refinement algebra

Joakim Wright · Science of Computer Programming · 2004 · 84 citations

, , +2

Components as coalgebras: The refinement dimension

Lu­ís Soares Barbosa · Theoretical Computer Science · 2005 · 56 citations · Full text

, , +6

ZRC – A Refinement Calculus for Z

Ana Cavalcanti, Jim Woodcock · Formal Aspects of Computing · 1998 · 53 citations · Full text

, , +6

Adding Action Refinement to a Finite Process Algebra

Luca Aceto, Matthew Hennessy · Information and Computation · 1994 · 46 citations

, , +10

Refinement monoids with weak comparability and applications to regular rings and 𝐶*-algebras

Pere Ara, Enrique Pardo · Proceedings of the American Mathematical Society · 1996 · 37 citations · Full text

, , +9

1–5 of 20

Authors

28

  1. JW
    Joakim Wright

    Åbo Akademi University, Finland

    3 publications · 114 citations

    3

    h-index

  2. HD
    Hans Dobbertin

    Federal Office for Information Security, Germany

    2 publications · 47 citations

    2

    h-index

  3. LS
    Lu­ís Soares Barbosa

    University of Minho, Portugal

    2 publications · 74 citations

    2

    h-index

  4. TD
    Tim D. Hudson

    Texas A&M University, United States

    1 publications · 14 citations

    1

    h-index

  5. ZS
    Zhong Shao

    Yale University, United States

    1 publications · 17 citations

    1

    h-index

1–5 of 28

Institutions

18

  1. Leibniz University Hannover

    Hanover, Germany

    2 h-index

    2 publications

    47 citations

  2. University of Minho

    Braga, Portugal

    2 h-index

    3 publications

    92 citations

  3. Åbo Akademi University

    Turku, Finland

    2 h-index

    3 publications

    104 citations

  4. Universitat Autònoma de Barcelona

    Cerdanyola del Vallès, Spain

    2 h-index

    3 publications

    95 citations

  5. Texas A&M University

    College Station, United States

    1 h-index

    1 publications

    14 citations

  6. Norwegian University of Science and Technology

    Trondheim, Norway

    1 h-index

    1 publications

    21 citations

  7. Laboratoire de Mathématiques Nicolas Oresme

    Caen, France

    1 h-index

    1 publications

    26 citations

  8. University of Birmingham

    Birmingham, United Kingdom

    1 h-index

    2 publications

    30 citations

1–8 of 18

Venues

  1. Formal Aspects of Computing

    3 publications · 92 citations

    3

    h-index

  2. Theoretical Computer Science

    2 publications · 74 citations

    2

    h-index

  3. Science of Computer Programming

    2 publications · 94 citations

    2

    h-index

  4. Transactions of the American Mathematical Society

    TRAN · 1 publications · 21 citations

    1

    h-index

  5. Proceedings of the American Mathematical Society

    PROC · 1 publications · 37 citations

    1

    h-index

1–5