In 1976, Lamport visited the Netherlands and worked with Carl Holt (not Dijkstra directly) for a month, meeting with Dijkstra once a week, and produced one published paper—a variant of the bakery algorithm—as the only tangible result.