Reactive Modules

Computer-aided verification of coordinating processes: The automata-theoretic approach

Computers & Mathematics with Applications · 1995 · 793 citations

Computing, Computer Science, Formal Methods +12

The existence of refinement mappings

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

Engineering, Computer Engineering, Computer Science +15

Model checking and modular verification

Orna Grümberg, David E. Long · ACM Transactions on Programming Languages and Systems · 1994 · 526 citations · Full text

Computing, Computer Science, Computer Systems +16

Specifying Concurrent Program Modules

Leslie Lamport · ACM Transactions on Programming Languages and Systems · 1983 · 525 citations · Full text

Computing, Computer Science, Decision Support Systems +4

Conjoining specifications

Martı́n Abadi, Leslie Lamport · ACM Transactions on Programming Languages and Systems · 1995 · 451 citations · Full text

Engineering, Computer Science, Systems Engineering +11