An explanatory presentation of composition rules for assumption-commitment specifications

On "Software engineering"

E. N. Miya · ACM SIGSOFT Software Engineering Notes · 1985 · 1.1K citations · Full text

Computing, Computer Science, Requirements Engineering +10

Tentative steps toward a development method for interfering programs

Cliff B. Jones · ACM Transactions on Programming Languages and Systems · 1983 · 619 citations · Full text

Computing, Information Systems, Access Management +4

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

A logical view of composition

Martı́n Abadi, Gordon Plotkin · Theoretical Computer Science · 1993 · 82 citations

Humanities, Philosophy, Logic +6