Refinement of fair action systems

The existence of refinement mappings

Martı́n Abadi, Leslie Lamport · Theoretical Computer Science · 1991 · 734 citations

Engineering, Computer Engineering, Computer Science +15

A theoretical basis for stepwise refinement and the programming calculus

Joseph M. Morris · Science of Computer Programming · 1987 · 309 citations

Computing, Computer Science, Formal Methods +13

Decentralization of process nets with centralized control

R. J. R. Back, Reino Kurki-Suonio · 1983 · 279 citations

Computing, Computer Science, Systems Engineering +12

A calculus of refinements for program derivations

R. J. R. Back · Acta Informatica · 1988 · 247 citations

Computing, Computer Science, Formal Methods +11

Completing the temporal picture

Zohar Manna, Amir Pnueli · Theoretical Computer Science · 1991 · 218 citations

Humanities, History, Visual Perception +5