COSY ? a system specification language based on paths and processes

Programming with abstract data types

Barbara Liskov, Stephen N. Zilles · 1974 · 736 citations · Full text

Computing, Computer Science, Data Structures +10

Concurrent control with “readers” and “writers”

Pierre Courtois, F. Heymans, David Lorge Parnas · Communications of the ACM · 1971 · 527 citations · Full text

Computing, Computer Science, Computer Systems +16

Programming with abstract data types

Barbara Liskov, Stephen N. Zilles · ACM SIGPLAN Notices · 1974 · 395 citations · Full text

Computing, Computer Science, Data Structures +10

Cooperating Sequential Processes

E. Dijkstra · 1968 · 349 citations · Full text

Information distribution aspects of design methodology

David Lorge Parnas · Figshare · 2018 · 317 citations · Full text

Computing, Computer Science, Design +12