[tkhattra]

> He really was the first to get serious about formalizing concurrency. P and V, and all that.

The computer science of concurrency began with Dijkstra, not Wirth. And it was Dijkstra who introduced the P and V semaphore operations [1].

[1] https://www.cs.utexas.edu/users/EWD/transcriptions/EWD01xx/E...

[vanderZwan]

Geez, he did that too? I'm on a concatenative language chat server (you know, Forth, Joy, Factor, Kitten and the like), and someone recently realized one of his earliest papers from 1962 is one of the first to highlight the generality of stack-based languages. Like it's already halfway there towards a proper Forth.

[0] https://www.cs.utexas.edu/users/EWD/transcriptions/EWD00xx/E...

[Animats]

Oops, right.