@techreport{84b52ca7157d49c89a265466ed5cbf97,
title = "Semantics of semaphores",
keywords = "mutual exclusion, process synchronization, semaphores, weakest preconditions, mutual exclusion, process synchronization, semaphores, weakest preconditions, mutual exclusion, process synchronization, semaphores, weakest preconditions",
author = "S. R{\"o}nn",
year = "1998",
language = "English",
series = "Research Reports",
publisher = "Helsinki University of Technology, Digital Systems Laboratory",
number = "A53",
pages = "10",
type = "WorkingPaper",
institution = "Helsinki University of Technology, Digital Systems Laboratory",
}