A foundation for modular reasoning about safety and progress properties of state-based concurrent programs

Parallel program design: a foundation

Chris Jesshope · Microprocessors and Microsystems · 1989 · 845 citations

Computing, Computer Engineering, Computer Science +12

The existence of refinement mappings

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

Engineering, Computer Engineering, Computer Science +15

Proofs of Networks of Processes

Jayadev Misra, K. Mani Chandy · IEEE Transactions on Software Engineering · 1981 · 497 citations

Computing, Computer Science, Distributed Systems +16

Composing specifications

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

Computing, Computer Science, Systems Engineering +17

Now you may compose temporal logic specifications

Howard Barringer, Ruurd Kuiper, Amir Pnueli · 1984 · 266 citations · Full text

Computing, Computer Engineering, Computer Science +16