Verification of protocols using symbolic execution

The structure of the “THE”-multiprogramming system

Edsger W. Dijkstra · Communications of the ACM · 1968 · 1.1K citations · Full text

Computing, Computer Science, Computer Systems +5

An algebraic definition of simulation between programs

Robin Milner · Defense Technical Information Center (DTIC) · 1971 · 533 citations

Computing, Computer Science, Algorithms +11

A note on reliable full-duplex transmission over half-duplex links

Keith A. Bartlett, R.A. Scantlebury, P. T. Wilkinson · Communications of the ACM · 1969 · 442 citations · Full text

Engineering, Communication, Electrical Engineering +13

International conference on communications

2010 · 203 citations

Social Sciences, Communication, Electrical Engineering +9

The structure of “THE”-multiprogramming system

Edsger W. Dijkstra · Communications of the ACM · 1983 · 177 citations · Full text

Engineering, Computer Science, Computer Systems +17