Concepedia
Information Processing Letters · 1997 · 65 citations · 5 references
5
Solution of a problem in concurrent programming control
E. Dijkstra · Communications of the ACM · 1983 · 762 citations · Full text
Computing, Computer Science, Programming Languages +5
E. Dijkstra · Communications of the ACM · 1965 · 683 citations · Full text
Distributed Systems--Towards a Formal Approach
Gérard Le Lann · HAL (Le Centre pour la Communication Scientifique Directe) · 1977 · 314 citations · Full text
Computing, Computer Science, Distributed Systems +9
Coverings and Minors: Application to Local Computations in Graphs
Bruno Courcelle, Yves Métivier · European Journal of Combinatorics · 1994 · 33 citations
Computing, Computer Science, Mathematics +9
Solvability of the asynchronous ranking problem
Antoni Mazurkiewicz · Information Processing Letters · 1988 · 20 citations
Computing, Computer Science, Mathematics +5