The Difference between Splitting innandn+1

Communicating sequential processes

Microprocessors and Microsystems · 1986 · 2.2K citations

Petri nets, event structures and domains, part I

Mogens Nielsen, Gordon Plotkin, Glynn Winskel · Theoretical Computer Science · 1981 · 915 citations

Computing, Computer Engineering, Computer Science +9

On interprocess communication

Leslie Lamport · Distributed Computing · 1986 · 843 citations

Modeling concurrency with partial orders

Vaughan Pratt · International Journal of Parallel Programming · 1986 · 645 citations

Computing, Computer Science, Databases +10

Event structures

Glynn Winskel · 1987 · 392 citations