Step traces

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

Modeling concurrency with partial orders

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

Computing, Computer Science, Databases +10

Concurrent Program Schemes and their Interpretations

Antoni Mazurkiewicz · DAIMI Report Series · 1977 · 570 citations · Full text

Computing, Computer Science, Algorithms +15

The mutual exclusion problem

Leslie Lamport · Journal of the ACM · 1986 · 243 citations · Full text

Computing, Computer Engineering, Computer Science +12

Trace Theory

Antoni W. Mazurkiewicz · 1986 · 177 citations