| http://www.w3.org/ns/prov#value | - The name was an allusion to the ordering system commonly used in a bakery, in which customers select a numbered ticket when they enter.A common sight over the years: Lamport at a whiteboard.???When I was at Compass, I read a paper in Communications of the ACM about a mutual-exclusion algorithm,??? Lamport recalls. ???It was the first time I had seen the mutual-exclusion problem, and I looked at it
|